Charlie is big. Charlie is cold. Charlie is green. Charlie is rough. Charlie is young. Erin is big. Erin is white. Erin is young. Gary is big. Gary is green. Gary is rough. Gary is white. Harry is cold. Harry is white. Harry is young. All cold things are furry. All young, big things are furry. White things are rough. All rough things are big. Furry, cold things are young. If something is green then it is cold. If something is big and rough then it is green. Rough, big things are young.
Erin is not green.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule4))] Charlie is cold.[(triple2 OR ((triple3) -> rule6) OR ((((triple1 triple4) -> rule7)) -> rule6) OR ((((((triple4) -> rule4) triple4) -> rule7)) -> rule6))] Charlie is green.[(triple3 OR ((triple1 triple4) -> rule7) OR ((((triple4) -> rule4) triple4) -> rule7))] Charlie is rough.[(triple4)] Charlie is young.[(triple5 OR ((triple4 triple1) -> rule8) OR ((triple4 ((triple4) -> rule4)) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1 triple4) -> rule7)) -> rule6)) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1 triple4) -> rule7)) -> rule6)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule1) triple2) -> rule5) OR ((((((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule5))] Erin is big.[(triple6 OR ((((triple7) -> rule3)) -> rule4))] Erin is white.[(triple7)] Erin is young.[(triple8 OR ((((triple7) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5))] Gary is big.[(triple9 OR ((triple11) -> rule4) OR ((((triple12) -> rule3)) -> rule4))] Gary is green.[(triple10 OR ((triple9 triple11) -> rule7) OR ((triple9 ((triple12) -> rule3)) -> rule7) OR ((((triple11) -> rule4) triple11) -> rule7) OR ((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7) OR ((((((triple12) -> rule3)) -> rule4) triple11) -> rule7) OR ((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7))] Gary is rough.[(triple11 OR ((triple12) -> rule3))] Gary is white.[(triple12)] Harry is cold.[(triple13 OR ((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6))] Harry is white.[(triple14)] Harry is young.[(triple15 OR ((((triple13) -> rule1) triple13) -> rule5) OR ((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) OR ((((triple13) -> rule1) ((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple13) -> rule5) OR ((((((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule5))] @1: Charlie is furry.[(((triple2) -> rule1) OR ((triple5 triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule1) OR ((triple5 ((triple4) -> rule4)) -> rule2) OR ((((triple4 triple1) -> rule8) triple1) -> rule2) OR ((((triple4 triple1) -> rule8) ((triple4) -> rule4)) -> rule2) OR ((((((triple1 triple4) -> rule7)) -> rule6)) -> rule1) OR ((((triple4 ((triple4) -> rule4)) -> rule8) triple1) -> rule2) OR ((((triple4 ((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule7)) -> rule6)) -> rule1))] Erin is furry.[(((triple8 triple6) -> rule2) OR ((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule2) OR ((((((triple7) -> rule3) triple6) -> rule8) triple6) -> rule2) OR ((((((triple7) -> rule3) triple6) -> rule8) ((((triple7) -> rule3)) -> rule4)) -> rule2) OR ((((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple7) -> rule3)) -> rule4)) -> rule2) OR ((((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Erin is rough.[(((triple7) -> rule3))] Gary is cold.[(((triple10) -> rule6) OR ((((triple9 triple11) -> rule7)) -> rule6) OR ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6) OR ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6) OR ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6) OR ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6))] Gary is young.[(((triple11 triple9) -> rule8) OR ((triple11 ((triple11) -> rule4)) -> rule8) OR ((((triple12) -> rule3) triple9) -> rule8) OR ((((triple12) -> rule3) ((triple11) -> rule4)) -> rule8) OR ((triple11 ((((triple12) -> rule3)) -> rule4)) -> rule8) OR ((((triple12) -> rule3) ((((triple12) -> rule3)) -> rule4)) -> rule8) OR ((((((triple10) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule5) OR ((((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule5))] Harry is furry.[(((triple13) -> rule1) OR ((triple15 ((((triple14) -> rule3)) -> rule4)) -> rule2) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple14) -> rule3)) -> rule4)) -> rule2) OR ((((((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Harry is rough.[(((triple14) -> rule3))] @2: Erin is green.[(((triple6 ((triple7) -> rule3)) -> rule7) OR ((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7))] Gary is furry.[(((((triple10) -> rule6)) -> rule1) OR ((((triple11 triple9) -> rule8) triple9) -> rule2) OR ((((triple11 triple9) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple9 triple11) -> rule7)) -> rule6)) -> rule1) OR ((((triple11 ((triple11) -> rule4)) -> rule8) triple9) -> rule2) OR ((((((triple12) -> rule3) triple9) -> rule8) triple9) -> rule2) OR ((((triple11 triple9) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((triple11) -> rule4)) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) triple9) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((triple11) -> rule4)) -> rule8) triple9) -> rule2) OR ((((triple11 ((triple11) -> rule4)) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) triple9) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((triple11) -> rule4)) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((triple11) -> rule4)) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((((triple9 ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple11) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) OR ((((triple11 ((((triple12) -> rule3)) -> rule4)) -> rule8) triple9) -> rule2) OR ((((((((triple11) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1) OR ((((triple11 ((((triple12) -> rule3)) -> rule4)) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((((triple12) -> rule3)) -> rule4)) -> rule8) triple9) -> rule2) OR ((((triple11 ((((triple12) -> rule3)) -> rule4)) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((((triple12) -> rule3)) -> rule4)) -> rule8) ((triple11) -> rule4)) -> rule2) OR ((((((triple12) -> rule3) ((((triple12) -> rule3)) -> rule4)) -> rule8) ((((triple12) -> rule3)) -> rule4)) -> rule2) OR ((((((((((triple12) -> rule3)) -> rule4) triple11) -> rule7)) -> rule6)) -> rule1) OR ((((((((((triple12) -> rule3)) -> rule4) ((triple12) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Harry is big.[(((((triple14) -> rule3)) -> rule4))] @3: Erin is cold.[(((((triple6 ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule3)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6))] Harry is green.[(((((((triple14) -> rule3)) -> rule4) ((triple14) -> rule3)) -> rule7))]