boolean_solutions

{"[0, 0, 0, 0]": "entails", "[0, 0, 0, 1]": "entails", "[0, 0, 0, 2]": "permits", "[0, 0, 0, 3]": "permits", "[0, 0, 0, 4]": "permits", "[0, 0, 0, 5]": "permits", "[0, 0, 0, 6]": "permits", "[0, 0, 1, 0]": "entails", "[0, 0, 1, 1]": "entails", "[0, 0, 1, 2]": "permits", "[0, 0, 1, 3]": "permits", "[0, 0, 1, 4]": "permits", "[0, 0, 1, 5]": "permits", "[0, 0, 1, 6]": "permits", "[0, 0, 2, 0]": "permits", "[0, 0, 2, 1]": "permits", "[0, 0, 2, 2]": "permits", "[0, 0, 2, 3]": "permits", "[0, 0, 2, 4]": "permits", "[0, 0, 2, 5]": "permits", "[0, 0, 2, 6]": "permits", "[0, 0, 3, 0]": "permits", "[0, 0, 3, 1]": "permits", "[0, 0, 3, 2]": "permits", "[0, 0, 3, 3]": "permits", "[0, 0, 3, 4]": "permits", "[0, 0, 3, 5]": "permits", "[0, 0, 3, 6]": "permits", "[0, 0, 4, 0]": "permits", "[0, 0, 4, 1]": "permits", "[0, 0, 4, 2]": "permits", "[0, 0, 4, 3]": "permits", "[0, 0, 4, 4]": "permits", "[0, 0, 4, 5]": "permits", "[0, 0, 4, 6]": "permits", "[0, 0, 5, 0]": "permits", "[0, 0, 5, 1]": "permits", "[0, 0, 5, 2]": "permits", "[0, 0, 5, 3]": "permits", "[0, 0, 5, 4]": "permits", "[0, 0, 5, 5]": "permits", "[0, 0, 5, 6]": "permits", "[0, 0, 6, 0]": "permits", "[0, 0, 6, 1]": "permits", "[0, 0, 6, 2]": "permits", "[0, 0, 6, 3]": "permits", "[0, 0, 6, 4]": "permits", "[0, 0, 6, 5]": "permits", "[0, 0, 6, 6]": "permits", "[0, 1, 0, 0]": "permits", "[0, 1, 0, 1]": "permits", "[0, 1, 0, 2]": "permits", "[0, 1, 0, 3]": "permits", "[0, 1, 0, 4]": "permits", "[0, 1, 0, 5]": "permits", "[0, 1, 0, 6]": "permits", "[0, 1, 1, 0]": "permits", "[0, 1, 1, 1]": "permits", "[0, 1, 1, 2]": "permits", "[0, 1, 1, 3]": "permits", "[0, 1, 1, 4]": "permits", "[0, 1, 1, 5]": "permits", "[0, 1, 1, 6]": "permits", "[0, 1, 2, 0]": "permits", "[0, 1, 2, 1]": "permits", "[0, 1, 2, 2]": "permits", "[0, 1, 2, 3]": "permits", "[0, 1, 2, 4]": "permits", "[0, 1, 2, 5]": "permits", "[0, 1, 2, 6]": "permits", "[0, 1, 3, 0]": "permits", "[0, 1, 3, 1]": "permits", "[0, 1, 3, 2]": "permits", "[0, 1, 3, 3]": "contradicts", "[0, 1, 3, 4]": "contradicts", "[0, 1, 3, 5]": "permits", "[0, 1, 3, 6]": "permits", "[0, 1, 4, 0]": "permits", "[0, 1, 4, 1]": "permits", "[0, 1, 4, 2]": "permits", "[0, 1, 4, 3]": "contradicts", "[0, 1, 4, 4]": "contradicts", "[0, 1, 4, 5]": "permits", "[0, 1, 4, 6]": "permits", "[0, 1, 5, 0]": "permits", "[0, 1, 5, 1]": "permits", "[0, 1, 5, 2]": "permits", "[0, 1, 5, 3]": "permits", "[0, 1, 5, 4]": "permits", "[0, 1, 5, 5]": "permits", "[0, 1, 5, 6]": "permits", "[0, 1, 6, 0]": "permits", "[0, 1, 6, 1]": "permits", "[0, 1, 6, 2]": "permits", "[0, 1, 6, 3]": "permits", "[0, 1, 6, 4]": "permits", "[0, 1, 6, 5]": "permits", "[0, 1, 6, 6]": "permits", "[0, 2, 0, 0]": "permits", "[0, 2, 0, 1]": "permits", "[0, 2, 0, 2]": "permits", "[0, 2, 0, 3]": "permits", "[0, 2, 0, 4]": "permits", "[0, 2, 0, 5]": "permits", "[0, 2, 0, 6]": "permits", "[0, 2, 1, 0]": "permits", "[0, 2, 1, 1]": "permits", "[0, 2, 1, 2]": "permits", "[0, 2, 1, 3]": "permits", "[0, 2, 1, 4]": "permits", "[0, 2, 1, 5]": "permits", "[0, 2, 1, 6]": "permits", "[0, 2, 2, 0]": "permits", "[0, 2, 2, 1]": "permits", "[0, 2, 2, 2]": "permits", "[0, 2, 2, 3]": "permits", "[0, 2, 2, 4]": "permits", "[0, 2, 2, 5]": "permits", "[0, 2, 2, 6]": "permits", "[0, 2, 3, 0]": "entails", "[0, 2, 3, 1]": "entails", "[0, 2, 3, 2]": "permits", "[0, 2, 3, 3]": "permits", "[0, 2, 3, 4]": "permits", "[0, 2, 3, 5]": "permits", "[0, 2, 3, 6]": "permits", "[0, 2, 4, 0]": "entails", "[0, 2, 4, 1]": "entails", "[0, 2, 4, 2]": "permits", "[0, 2, 4, 3]": "permits", "[0, 2, 4, 4]": "permits", "[0, 2, 4, 5]": "permits", "[0, 2, 4, 6]": "permits", "[0, 2, 5, 0]": "permits", "[0, 2, 5, 1]": "permits", "[0, 2, 5, 2]": "permits", "[0, 2, 5, 3]": "permits", "[0, 2, 5, 4]": "permits", "[0, 2, 5, 5]": "permits", "[0, 2, 5, 6]": "permits", "[0, 2, 6, 0]": "permits", "[0, 2, 6, 1]": "permits", "[0, 2, 6, 2]": "permits", "[0, 2, 6, 3]": "permits", "[0, 2, 6, 4]": "permits", "[0, 2, 6, 5]": "permits", "[0, 2, 6, 6]": "permits", "[1, 0, 0, 0]": "entails", "[1, 0, 0, 1]": "entails", "[1, 0, 0, 2]": "entails", "[1, 0, 0, 3]": "entails", "[1, 0, 0, 4]": "entails", "[1, 0, 0, 5]": "entails", "[1, 0, 0, 6]": "entails", "[1, 0, 1, 0]": "entails", "[1, 0, 1, 1]": "entails", "[1, 0, 1, 2]": "entails", "[1, 0, 1, 3]": "entails", "[1, 0, 1, 4]": "entails", "[1, 0, 1, 5]": "entails", "[1, 0, 1, 6]": "entails", "[1, 0, 2, 0]": "entails", "[1, 0, 2, 1]": "entails", "[1, 0, 2, 2]": "permits", "[1, 0, 2, 3]": "permits", "[1, 0, 2, 4]": "permits", "[1, 0, 2, 5]": "permits", "[1, 0, 2, 6]": "permits", "[1, 0, 3, 0]": "entails", "[1, 0, 3, 1]": "entails", "[1, 0, 3, 2]": "permits", "[1, 0, 3, 3]": "contradicts", "[1, 0, 3, 4]": "contradicts", "[1, 0, 3, 5]": "permits", "[1, 0, 3, 6]": "permits", "[1, 0, 4, 0]": "entails", "[1, 0, 4, 1]": "entails", "[1, 0, 4, 2]": "permits", "[1, 0, 4, 3]": "contradicts", "[1, 0, 4, 4]": "contradicts", "[1, 0, 4, 5]": "permits", "[1, 0, 4, 6]": "permits", "[1, 0, 5, 0]": "entails", "[1, 0, 5, 1]": "entails", "[1, 0, 5, 2]": "permits", "[1, 0, 5, 3]": "permits", "[1, 0, 5, 4]": "permits", "[1, 0, 5, 5]": "permits", "[1, 0, 5, 6]": "permits", "[1, 0, 6, 0]": "entails", "[1, 0, 6, 1]": "entails", "[1, 0, 6, 2]": "permits", "[1, 0, 6, 3]": "permits", "[1, 0, 6, 4]": "permits", "[1, 0, 6, 5]": "permits", "[1, 0, 6, 6]": "permits", "[1, 1, 0, 0]": "entails", "[1, 1, 0, 1]": "entails", "[1, 1, 0, 2]": "permits", "[1, 1, 0, 3]": "contradicts", "[1, 1, 0, 4]": "contradicts", "[1, 1, 0, 5]": "permits", "[1, 1, 0, 6]": "permits", "[1, 1, 1, 0]": "entails", "[1, 1, 1, 1]": "entails", "[1, 1, 1, 2]": "permits", "[1, 1, 1, 3]": "contradicts", "[1, 1, 1, 4]": "contradicts", "[1, 1, 1, 5]": "permits", "[1, 1, 1, 6]": "permits", "[1, 1, 2, 0]": "permits", "[1, 1, 2, 1]": "permits", "[1, 1, 2, 2]": "permits", "[1, 1, 2, 3]": "contradicts", "[1, 1, 2, 4]": "contradicts", "[1, 1, 2, 5]": "permits", "[1, 1, 2, 6]": "permits", "[1, 1, 3, 0]": "contradicts", "[1, 1, 3, 1]": "contradicts", "[1, 1, 3, 2]": "contradicts", "[1, 1, 3, 3]": "contradicts", "[1, 1, 3, 4]": "contradicts", "[1, 1, 3, 5]": "contradicts", "[1, 1, 3, 6]": "contradicts", "[1, 1, 4, 0]": "contradicts", "[1, 1, 4, 1]": "contradicts", "[1, 1, 4, 2]": "contradicts", "[1, 1, 4, 3]": "contradicts", "[1, 1, 4, 4]": "contradicts", "[1, 1, 4, 5]": "contradicts", "[1, 1, 4, 6]": "contradicts", "[1, 1, 5, 0]": "permits", "[1, 1, 5, 1]": "permits", "[1, 1, 5, 2]": "permits", "[1, 1, 5, 3]": "contradicts", "[1, 1, 5, 4]": "contradicts", "[1, 1, 5, 5]": "permits", "[1, 1, 5, 6]": "permits", "[1, 1, 6, 0]": "permits", "[1, 1, 6, 1]": "permits", "[1, 1, 6, 2]": "permits", "[1, 1, 6, 3]": "contradicts", "[1, 1, 6, 4]": "contradicts", "[1, 1, 6, 5]": "permits", "[1, 1, 6, 6]": "permits", "[1, 2, 0, 0]": "entails", "[1, 2, 0, 1]": "entails", "[1, 2, 0, 2]": "permits", "[1, 2, 0, 3]": "contradicts", "[1, 2, 0, 4]": "contradicts", "[1, 2, 0, 5]": "permits", "[1, 2, 0, 6]": "permits", "[1, 2, 1, 0]": "entails", "[1, 2, 1, 1]": "entails", "[1, 2, 1, 2]": "permits", "[1, 2, 1, 3]": "contradicts", "[1, 2, 1, 4]": "contradicts", "[1, 2, 1, 5]": "permits", "[1, 2, 1, 6]": "permits", "[1, 2, 2, 0]": "entails", "[1, 2, 2, 1]": "entails", "[1, 2, 2, 2]": "permits", "[1, 2, 2, 3]": "permits", "[1, 2, 2, 4]": "permits", "[1, 2, 2, 5]": "permits", "[1, 2, 2, 6]": "permits", "[1, 2, 3, 0]": "entails", "[1, 2, 3, 1]": "entails", "[1, 2, 3, 2]": "entails", "[1, 2, 3, 3]": "entails", "[1, 2, 3, 4]": "entails", "[1, 2, 3, 5]": "entails", "[1, 2, 3, 6]": "entails", "[1, 2, 4, 0]": "entails", "[1, 2, 4, 1]": "entails", "[1, 2, 4, 2]": "entails", "[1, 2, 4, 3]": "entails", "[1, 2, 4, 4]": "entails", "[1, 2, 4, 5]": "entails", "[1, 2, 4, 6]": "entails", "[1, 2, 5, 0]": "entails", "[1, 2, 5, 1]": "entails", "[1, 2, 5, 2]": "permits", "[1, 2, 5, 3]": "permits", "[1, 2, 5, 4]": "permits", "[1, 2, 5, 5]": "permits", "[1, 2, 5, 6]": "permits", "[1, 2, 6, 0]": "entails", "[1, 2, 6, 1]": "entails", "[1, 2, 6, 2]": "permits", "[1, 2, 6, 3]": "permits", "[1, 2, 6, 4]": "permits", "[1, 2, 6, 5]": "permits", "[1, 2, 6, 6]": "permits", "[2, 0, 0, 0]": "permits", "[2, 0, 0, 1]": "permits", "[2, 0, 0, 2]": "permits", "[2, 0, 0, 3]": "permits", "[2, 0, 0, 4]": "permits", "[2, 0, 0, 5]": "permits", "[2, 0, 0, 6]": "permits", "[2, 0, 1, 0]": "permits", "[2, 0, 1, 1]": "permits", "[2, 0, 1, 2]": "permits", "[2, 0, 1, 3]": "permits", "[2, 0, 1, 4]": "permits", "[2, 0, 1, 5]": "permits", "[2, 0, 1, 6]": "permits", "[2, 0, 2, 0]": "permits", "[2, 0, 2, 1]": "permits", "[2, 0, 2, 2]": "permits", "[2, 0, 2, 3]": "permits", "[2, 0, 2, 4]": "permits", "[2, 0, 2, 5]": "permits", "[2, 0, 2, 6]": "permits", "[2, 0, 3, 0]": "permits", "[2, 0, 3, 1]": "permits", "[2, 0, 3, 2]": "permits", "[2, 0, 3, 3]": "permits", "[2, 0, 3, 4]": "permits", "[2, 0, 3, 5]": "permits", "[2, 0, 3, 6]": "permits", "[2, 0, 4, 0]": "entails", "[2, 0, 4, 1]": "entails", "[2, 0, 4, 2]": "permits", "[2, 0, 4, 3]": "permits", "[2, 0, 4, 4]": "permits", "[2, 0, 4, 5]": "permits", "[2, 0, 4, 6]": "permits", "[2, 0, 5, 0]": "entails", "[2, 0, 5, 1]": "entails", "[2, 0, 5, 2]": "permits", "[2, 0, 5, 3]": "permits", "[2, 0, 5, 4]": "permits", "[2, 0, 5, 5]": "permits", "[2, 0, 5, 6]": "permits", "[2, 0, 6, 0]": "permits", "[2, 0, 6, 1]": "permits", "[2, 0, 6, 2]": "permits", "[2, 0, 6, 3]": "permits", "[2, 0, 6, 4]": "permits", "[2, 0, 6, 5]": "permits", "[2, 0, 6, 6]": "permits", "[2, 1, 0, 0]": "permits", "[2, 1, 0, 1]": "permits", "[2, 1, 0, 2]": "permits", "[2, 1, 0, 3]": "contradicts", "[2, 1, 0, 4]": "contradicts", "[2, 1, 0, 5]": "permits", "[2, 1, 0, 6]": "permits", "[2, 1, 1, 0]": "permits", "[2, 1, 1, 1]": "permits", "[2, 1, 1, 2]": "permits", "[2, 1, 1, 3]": "permits", "[2, 1, 1, 4]": "permits", "[2, 1, 1, 5]": "permits", "[2, 1, 1, 6]": "permits", "[2, 1, 2, 0]": "permits", "[2, 1, 2, 1]": "permits", "[2, 1, 2, 2]": "permits", "[2, 1, 2, 3]": "contradicts", "[2, 1, 2, 4]": "contradicts", "[2, 1, 2, 5]": "permits", "[2, 1, 2, 6]": "permits", "[2, 1, 3, 0]": "permits", "[2, 1, 3, 1]": "permits", "[2, 1, 3, 2]": "permits", "[2, 1, 3, 3]": "permits", "[2, 1, 3, 4]": "permits", "[2, 1, 3, 5]": "permits", "[2, 1, 3, 6]": "permits", "[2, 1, 4, 0]": "permits", "[2, 1, 4, 1]": "permits", "[2, 1, 4, 2]": "permits", "[2, 1, 4, 3]": "permits", "[2, 1, 4, 4]": "permits", "[2, 1, 4, 5]": "permits", "[2, 1, 4, 6]": "permits", "[2, 1, 5, 0]": "permits", "[2, 1, 5, 1]": "permits", "[2, 1, 5, 2]": "permits", "[2, 1, 5, 3]": "permits", "[2, 1, 5, 4]": "permits", "[2, 1, 5, 5]": "permits", "[2, 1, 5, 6]": "permits", "[2, 1, 6, 0]": "permits", "[2, 1, 6, 1]": "permits", "[2, 1, 6, 2]": "permits", "[2, 1, 6, 3]": "permits", "[2, 1, 6, 4]": "permits", "[2, 1, 6, 5]": "permits", "[2, 1, 6, 6]": "permits", "[2, 2, 0, 0]": "entails", "[2, 2, 0, 1]": "entails", "[2, 2, 0, 2]": "permits", "[2, 2, 0, 3]": "permits", "[2, 2, 0, 4]": "permits", "[2, 2, 0, 5]": "permits", "[2, 2, 0, 6]": "permits", "[2, 2, 1, 0]": "permits", "[2, 2, 1, 1]": "permits", "[2, 2, 1, 2]": "permits", "[2, 2, 1, 3]": "permits", "[2, 2, 1, 4]": "permits", "[2, 2, 1, 5]": "permits", "[2, 2, 1, 6]": "permits", "[2, 2, 2, 0]": "entails", "[2, 2, 2, 1]": "entails", "[2, 2, 2, 2]": "permits", "[2, 2, 2, 3]": "permits", "[2, 2, 2, 4]": "permits", "[2, 2, 2, 5]": "permits", "[2, 2, 2, 6]": "permits", "[2, 2, 3, 0]": "permits", "[2, 2, 3, 1]": "permits", "[2, 2, 3, 2]": "permits", "[2, 2, 3, 3]": "permits", "[2, 2, 3, 4]": "permits", "[2, 2, 3, 5]": "permits", "[2, 2, 3, 6]": "permits", "[2, 2, 4, 0]": "permits", "[2, 2, 4, 1]": "permits", "[2, 2, 4, 2]": "permits", "[2, 2, 4, 3]": "permits", "[2, 2, 4, 4]": "permits", "[2, 2, 4, 5]": "permits", "[2, 2, 4, 6]": "permits", "[2, 2, 5, 0]": "permits", "[2, 2, 5, 1]": "permits", "[2, 2, 5, 2]": "permits", "[2, 2, 5, 3]": "permits", "[2, 2, 5, 4]": "permits", "[2, 2, 5, 5]": "permits", "[2, 2, 5, 6]": "permits", "[2, 2, 6, 0]": "permits", "[2, 2, 6, 1]": "permits", "[2, 2, 6, 2]": "permits", "[2, 2, 6, 3]": "permits", "[2, 2, 6, 4]": "permits", "[2, 2, 6, 5]": "permits", "[2, 2, 6, 6]": "permits"}