Anne is green. Anne is nice. Anne is red. Anne is smart. Bob is big. Bob is green. Bob is red. Bob is rough. Erin is nice. Harry is big. Harry is green. Harry is nice. Harry is rough. Harry is smart. If something is blue and rough then it is big. If something is smart then it is red. If something is green then it is nice. Green things are smart. If Anne is red then Anne is big. Rough things are blue. Blue things are green. If something is nice then it is green. If something is green and smart then it is rough.
Bob is green.
@0: Anne is green.[(triple1 OR ((triple2) -> rule8))] Anne is nice.[(triple2 OR ((triple1) -> rule3))] Anne is red.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((((triple2) -> rule8)) -> rule4)) -> rule2))] Anne is smart.[(triple4 OR ((triple1) -> rule4) OR ((((triple2) -> rule8)) -> rule4))] Bob is big.[(triple5 OR ((((triple8) -> rule6) triple8) -> rule1) OR ((((triple8) -> rule6) ((triple6 ((triple6) -> rule4)) -> rule9)) -> rule1) OR ((((((triple6 ((triple6) -> rule4)) -> rule9)) -> rule6) triple8) -> rule1) OR ((((((triple6 ((triple6) -> rule4)) -> rule9)) -> rule6) ((triple6 ((triple6) -> rule4)) -> rule9)) -> rule1))] Bob is green.[(triple6 OR ((((triple8) -> rule6)) -> rule7))] Bob is red.[(triple7 OR ((((triple6) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule7)) -> rule4)) -> rule2))] Bob is rough.[(triple8 OR ((triple6 ((triple6) -> rule4)) -> rule9))] Erin is nice.[(triple9)] Harry is big.[(triple10 OR ((((triple13) -> rule6) triple13) -> rule1) OR ((((triple13) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) triple13) -> rule1) OR ((((triple13) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((triple13) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((triple13) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) triple13) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) triple13) -> rule1) OR ((((triple13) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) triple13) -> rule1) OR ((((triple13) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((triple11 triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) triple13) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) triple13) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 triple14) -> rule9)) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) triple14) -> rule9)) -> rule1) OR ((((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule1))] Harry is green.[(triple11 OR ((triple12) -> rule8) OR ((((triple13) -> rule6)) -> rule7))] Harry is nice.[(triple12 OR ((triple11) -> rule3) OR ((((((triple13) -> rule6)) -> rule7)) -> rule3))] Harry is rough.[(triple13 OR ((triple11 triple14) -> rule9) OR ((triple11 ((triple11) -> rule4)) -> rule9) OR ((((triple12) -> rule8) triple14) -> rule9) OR ((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9) OR ((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9) OR ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9))] Harry is smart.[(triple14 OR ((triple11) -> rule4) OR ((((triple12) -> rule8)) -> rule4) OR ((((((triple13) -> rule6)) -> rule7)) -> rule4))] @1: Anne is big.[(((triple3) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((((triple1) -> rule4)) -> rule2)) -> rule5) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((triple1 triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 triple4) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) triple4) -> rule9)) -> rule1) OR ((((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule1) OR ((((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1))] Anne is rough.[(((triple1 triple4) -> rule9) OR ((triple1 ((triple1) -> rule4)) -> rule9) OR ((((triple2) -> rule8) triple4) -> rule9) OR ((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9) OR ((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9))] Bob is blue.[(((triple8) -> rule6) OR ((((triple6 ((triple6) -> rule4)) -> rule9)) -> rule6))] Bob is nice.[(((triple6) -> rule3) OR ((((((triple8) -> rule6)) -> rule7)) -> rule3))] Bob is smart.[(((triple6) -> rule4) OR ((((((triple8) -> rule6)) -> rule7)) -> rule4))] Erin is green.[(((triple9) -> rule8))] Harry is blue.[(((triple13) -> rule6) OR ((((triple11 triple14) -> rule9)) -> rule6) OR ((((triple11 ((triple11) -> rule4)) -> rule9)) -> rule6) OR ((((((triple12) -> rule8) triple14) -> rule9)) -> rule6) OR ((((((triple12) -> rule8) ((triple11) -> rule4)) -> rule9)) -> rule6) OR ((((triple11 ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6) OR ((((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule4)) -> rule9)) -> rule6))] Harry is red.[(((triple14) -> rule2) OR ((((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule4)) -> rule2))] @2: Anne is blue.[(((((triple1 triple4) -> rule9)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule9)) -> rule6) OR ((((((triple2) -> rule8) triple4) -> rule9)) -> rule6) OR ((((((triple2) -> rule8) ((triple1) -> rule4)) -> rule9)) -> rule6) OR ((((triple1 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6))] Erin is smart.[(((((triple9) -> rule8)) -> rule4))] @3: Erin is red.[(((((((triple9) -> rule8)) -> rule4)) -> rule2))] Erin is rough.[(((((triple9) -> rule8) ((((triple9) -> rule8)) -> rule4)) -> rule9))] @4: Erin is blue.[(((((((triple9) -> rule8) ((((triple9) -> rule8)) -> rule4)) -> rule9)) -> rule6))] @5: Erin is big.[(((((((((triple9) -> rule8) ((((triple9) -> rule8)) -> rule4)) -> rule9)) -> rule6) ((((triple9) -> rule8) ((((triple9) -> rule8)) -> rule4)) -> rule9)) -> rule1))]