Charlie is smart. Gary is nice. Harry is red. If Gary is rough and Gary is white then Gary is big. Red, smart things are nice. Rough, young things are big. All white, young things are nice. If Charlie is big and Charlie is white then Charlie is rough. Red things are smart. All nice things are smart. If something is white and red then it is rough.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Gary is nice.[(triple2)] Harry is red.[(triple3)] @1: Gary is smart.[(((triple2) -> rule7))] Harry is smart.[(((triple3) -> rule6))] @2: Harry is nice.[(((triple3 ((triple3) -> rule6)) -> rule2))]