Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Charlie is big then Charlie is white. If Charlie is green then Charlie is big. If something is cold and nice then it is rough. Cold, rough things are white. Cold, green things are smart. If Charlie is rough and Charlie is white then Charlie is green. If something is rough then it is nice. If something is rough and big then it is cold.
Gary is not white.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule2) OR ((((triple5 triple7) -> rule6)) -> rule2) OR ((((triple5 ((triple2 triple5) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2 triple4) -> rule3) triple7) -> rule6)) -> rule2) OR ((((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule2))] Charlie is cold.[(triple2 OR ((triple5 triple1) -> rule8) OR ((triple5 ((triple3) -> rule2)) -> rule8) OR ((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8))] Charlie is green.[(triple3 OR ((triple5 triple7) -> rule6) OR ((triple5 ((triple1) -> rule1)) -> rule6) OR ((triple5 ((triple2 triple5) -> rule4)) -> rule6) OR ((((triple2 triple4) -> rule3) triple7) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6) OR ((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6) OR ((triple5 ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6) OR ((triple5 ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6))] Charlie is nice.[(triple4 OR ((triple5) -> rule7))] Charlie is rough.[(triple5 OR ((triple2 triple4) -> rule3))] Charlie is smart.[(triple6 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple5 triple7) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) triple3) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 triple7) -> rule6)) -> rule5) OR ((triple2 ((triple5 ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((triple2 ((triple5 ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) triple7) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) triple3) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) triple7) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 triple7) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) triple7) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((triple2 ((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((triple2 ((triple5 ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) triple3) -> rule5) OR ((triple2 ((triple5 ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 triple7) -> rule6)) -> rule5) OR ((triple2 ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) triple7) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((triple5 ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule2)) -> rule8) ((((triple2 triple4) -> rule3) ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4)) -> rule6)) -> rule5))] Charlie is white.[(triple7 OR ((triple1) -> rule1) OR ((triple2 triple5) -> rule4) OR ((((triple3) -> rule2)) -> rule1) OR ((triple2 ((triple2 triple4) -> rule3)) -> rule4) OR ((((triple5 triple1) -> rule8) triple5) -> rule4) OR ((((triple5 triple1) -> rule8) ((triple2 triple4) -> rule3)) -> rule4) OR ((((triple5 ((triple3) -> rule2)) -> rule8) triple5) -> rule4) OR ((((triple5 ((triple3) -> rule2)) -> rule8) ((triple2 triple4) -> rule3)) -> rule4))] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple12 triple8) -> rule8))] Gary is green.[(triple10)] Gary is nice.[(triple11 OR ((triple12) -> rule7))] Gary is rough.[(triple12 OR ((triple9 triple11) -> rule3))] Gary is smart.[(triple13 OR ((triple9 triple10) -> rule5) OR ((((triple12 triple8) -> rule8) triple10) -> rule5))] Gary is white.[(triple14 OR ((triple9 triple12) -> rule4) OR ((triple9 ((triple9 triple11) -> rule3)) -> rule4) OR ((((triple12 triple8) -> rule8) triple12) -> rule4) OR ((((triple12 triple8) -> rule8) ((triple9 triple11) -> rule3)) -> rule4))]