Dave is round. Gary is rough. Harry is blue. If someone is rough then they are nice. If Dave is round then Dave is rough. If someone is white and nice then they are blue.
Harry is not nice.
@0: Dave is round.[(triple1)] Gary is rough.[(triple2)] Harry is blue.[(triple3)] @1: Dave is rough.[(((triple1) -> rule2))] Gary is nice.[(((triple2) -> rule1))] @2: Dave is nice.[(((((triple1) -> rule2)) -> rule1))]