Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is white. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. If someone is nice then they are green. Green, rough people are smart.
Gary is not green.
@0: Gary is kind.[(triple1)] Gary is nice.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is white.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Gary is green.[(((triple2) -> rule1))] Harry is smart.[(((triple6 triple9) -> rule2))] @2: Gary is smart.[(((((triple2) -> rule1) triple4) -> rule2))]