Dave is rough. Erin is smart. Fiona is smart. Gary is smart. All rough people are nice. All nice, rough people are smart.
Dave is not smart.
@0: Dave is rough.[(triple1)] Erin is smart.[(triple2)] Fiona is smart.[(triple3)] Gary is smart.[(triple4)] @1: Dave is nice.[(((triple1) -> rule1))] @2: Dave is smart.[(((((triple1) -> rule1) triple1) -> rule2))]