Charlie is not green. Charlie is young. Fiona is rough. Gary is green. Gary is nice. Gary is not red. Harry is green. Harry is nice. Harry is red. Harry is smart. All green things are furry. All green, nice things are smart. Rough things are nice. Young things are not nice. If something is smart then it is green. If something is nice and furry then it is rough.
Gary is smart.
@0: Charlie is not green.[(triple1)] Charlie is young.[(triple2)] Fiona is rough.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is not red.[(triple6)] Harry is green.[(triple7 OR ((triple10) -> rule5))] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10 OR ((triple7 triple8) -> rule2))] @1: Charlie is not nice.[(((triple2) -> rule4))] Fiona is nice.[(((triple3) -> rule3))] Gary is furry.[(((triple4) -> rule1))] Gary is smart.[(((triple4 triple5) -> rule2))] Harry is furry.[(((triple7) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] @2: Gary is rough.[(((triple5 ((triple4) -> rule1)) -> rule6))] Harry is rough.[(((triple8 ((triple7) -> rule1)) -> rule6) OR ((triple8 ((((triple10) -> rule5)) -> rule1)) -> rule6))]