Charlie is cold. Gary is nice. Gary is rough. Gary is round. Gary is smart. Harry is cold. Harry is nice. All cold, blue things are kind. Rough, cold things are blue. Kind things are cold. All kind things are cold. Cold, smart things are rough. If something is cold then it is rough.
Charlie is not rough.
@0: Charlie is cold.[(triple1)] Gary is nice.[(triple2)] Gary is rough.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule6))] Harry is rough.[(((triple6) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule6) triple1) -> rule2))] Harry is blue.[(((((triple6) -> rule6) triple6) -> rule2))] @3: Charlie is kind.[(((triple1 ((((triple1) -> rule6) triple1) -> rule2)) -> rule1))] Harry is kind.[(((triple6 ((((triple6) -> rule6) triple6) -> rule2)) -> rule1))]