Charlie is rough. Erin is young. Fiona is cold. Gary is white. All white things are young. If something is young then it is smart. If Gary is round then Gary is not rough.
Fiona is not smart.
@0: Charlie is rough.[(triple1)] Erin is young.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)] @1: Erin is smart.[(((triple2) -> rule2))] Gary is young.[(((triple4) -> rule1))] @2: Gary is smart.[(((((triple4) -> rule1)) -> rule2))]