Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Harry is kind. Harry is smart. Harry is white. All smart, big things are nice. If something is smart and white then it is big. All green things are big. If Harry is nice then Harry is white. If something is nice then it is red. If something is green and smart then it is red.
Harry is nice.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3) OR ((triple6 triple7) -> rule2))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple2) -> rule3)) -> rule1) OR ((triple6 ((triple6 triple7) -> rule2)) -> rule1))] Charlie is red.[(triple5 OR ((triple4) -> rule5) OR ((triple2 triple6) -> rule6) OR ((((triple6 triple1) -> rule1)) -> rule5) OR ((((triple6 ((triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple6 ((triple6 triple7) -> rule2)) -> rule1)) -> rule5))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is kind.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is big.[(((triple9 triple10) -> rule2))] @2: Harry is nice.[(((triple9 ((triple9 triple10) -> rule2)) -> rule1))] @3: Harry is red.[(((((triple9 ((triple9 triple10) -> rule2)) -> rule1)) -> rule5))]