Anne is green. Charlie is rough. Charlie is smart. Gary is green. Harry is red. Harry is smart. Harry is white. Red, rough things are young. Smart, young things are white. If something is white then it is rough. Smart, rough things are green. If something is smart and red then it is rough. All rough, red things are kind.
Gary is smart.
@0: Anne is green.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Gary is green.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple6 ((triple5 ((triple6 triple5) -> rule5)) -> rule1)) -> rule2))] @1: Charlie is green.[(((triple3 triple2) -> rule4))] Harry is rough.[(((triple7) -> rule3) OR ((triple6 triple5) -> rule5))] @2: Harry is green.[(((triple6 ((triple7) -> rule3)) -> rule4) OR ((triple6 ((triple6 triple5) -> rule5)) -> rule4))] Harry is kind.[(((((triple7) -> rule3) triple5) -> rule6) OR ((((triple6 triple5) -> rule5) triple5) -> rule6))] Harry is young.[(((triple5 ((triple7) -> rule3)) -> rule1) OR ((triple5 ((triple6 triple5) -> rule5)) -> rule1))]