Dave is nice. Erin is nice. Gary is rough. Harry is white. All rough people are round. If someone is white then they are rough. All kind, rough people are not nice.
Harry is not rough.
@0: Dave is nice.[(triple1)] Erin is nice.[(triple2)] Gary is rough.[(triple3)] Harry is white.[(triple4)] @1: Gary is round.[(((triple3) -> rule1))] Harry is rough.[(((triple4) -> rule2))] @2: Harry is round.[(((((triple4) -> rule2)) -> rule1))]