Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Charlie is big. Charlie is blue. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is white. If Anne is white then Anne is blue. All big, nice things are blue. Blue things are white. If something is nice then it is white. Blue, white things are rough. If something is big and red then it is nice. Red, round things are nice. If something is rough then it is red.
Charlie is white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple7) -> rule1) OR ((triple1 triple3) -> rule2) OR ((((triple3) -> rule4)) -> rule1) OR ((triple1 ((triple1 triple4) -> rule6)) -> rule2) OR ((triple1 ((triple4 triple6) -> rule7)) -> rule2) OR ((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) OR ((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) OR ((triple1 ((triple1 ((triple5) -> rule8)) -> rule6)) -> rule2) OR ((triple1 ((((triple5) -> rule8) triple6) -> rule7)) -> rule2) OR ((((((triple1 ((triple5) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple5) -> rule8) triple6) -> rule7)) -> rule4)) -> rule1))] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule6) OR ((triple4 triple6) -> rule7) OR ((triple1 ((triple5) -> rule8)) -> rule6) OR ((((triple5) -> rule8) triple6) -> rule7) OR ((triple1 ((((triple2 triple7) -> rule5)) -> rule8)) -> rule6) OR ((((((triple2 triple7) -> rule5)) -> rule8) triple6) -> rule7) OR ((triple1 ((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((triple1 ((((((triple7) -> rule1) triple7) -> rule5)) -> rule8)) -> rule6) OR ((((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8) triple6) -> rule7) OR ((((((((triple7) -> rule1) triple7) -> rule5)) -> rule8) triple6) -> rule7) OR ((triple1 ((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) triple6) -> rule7))] Anne is red.[(triple4 OR ((triple5) -> rule8) OR ((((triple2 triple7) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Anne is rough.[(triple5 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule5) OR ((triple2 ((triple3) -> rule4)) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule5) OR ((((triple1 triple3) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((triple2 ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) triple7) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple7) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5))] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((((triple1 triple3) -> rule2)) -> rule3) OR ((((triple1 triple4) -> rule6)) -> rule4) OR ((((triple4 triple6) -> rule7)) -> rule4) OR ((((triple1 ((triple5) -> rule8)) -> rule6)) -> rule4) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((triple5) -> rule8) triple6) -> rule7)) -> rule4) OR ((((triple1 ((triple1 ((triple5) -> rule8)) -> rule6)) -> rule2)) -> rule3) OR ((((triple1 ((((triple5) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3))] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11 OR ((triple10 triple12) -> rule2) OR ((triple10 ((triple10 triple13) -> rule6)) -> rule2) OR ((triple10 ((triple13 triple14) -> rule7)) -> rule2))] Erin is nice.[(triple12 OR ((triple10 triple13) -> rule6) OR ((triple13 triple14) -> rule7) OR ((triple10 ((((triple11 triple15) -> rule5)) -> rule8)) -> rule6) OR ((((((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule7) OR ((triple10 ((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8) triple14) -> rule7))] Erin is red.[(triple13 OR ((((triple11 triple15) -> rule5)) -> rule8) OR ((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple12) -> rule4)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) triple15) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((triple11) -> rule3)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((triple12) -> rule4)) -> rule5)) -> rule8) OR ((((triple11 ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Erin is round.[(triple14)] Erin is white.[(triple15 OR ((triple11) -> rule3) OR ((triple12) -> rule4) OR ((((triple10 triple12) -> rule2)) -> rule3) OR ((((triple10 triple13) -> rule6)) -> rule4) OR ((((triple13 triple14) -> rule7)) -> rule4) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3))] @1: Charlie is white.[(((triple9) -> rule3))] Erin is rough.[(((triple11 triple15) -> rule5) OR ((triple11 ((triple11) -> rule3)) -> rule5) OR ((triple11 ((triple12) -> rule4)) -> rule5) OR ((((triple10 triple12) -> rule2) triple15) -> rule5) OR ((((triple10 triple12) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((triple11 ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((triple11 ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) triple15) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) triple15) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((triple11 ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5))] @2: Charlie is rough.[(((triple9 ((triple9) -> rule3)) -> rule5))] @3: Charlie is red.[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8))] @4: Charlie is nice.[(((triple8 ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8)) -> rule6))]