Dave is big. Erin is nice. Gary is white. Harry is round. All big, smart things are blue. All nice, big things are smart. If Dave is white and Dave is big then Dave is rough. Big things are nice. All rough things are nice. If Harry is nice and Harry is blue then Harry is white.
Harry is not rough.
@0: Dave is big.[(triple1)] Erin is nice.[(triple2)] Gary is white.[(triple3)] Harry is round.[(triple4)] @1: Dave is nice.[(((triple1) -> rule4))] @2: Dave is smart.[(((((triple1) -> rule4) triple1) -> rule2))] @3: Dave is blue.[(((triple1 ((((triple1) -> rule4) triple1) -> rule2)) -> rule1))]