Erin is big. Fiona is not round. Gary is white. If something is cold then it is not white. If something is round and rough then it is white. If something is rough and not big then it is white. All white things are smart. If something is cold then it is rough. If Erin is rough and Erin is not big then Erin is round. Smart things are round. If something is rough and not white then it is not quiet.
Erin is round.
@0: Erin is big.[(triple1)] Fiona is not round.[(triple2)] Gary is white.[(triple3)] @1: Gary is smart.[(((triple3) -> rule4))] @2: Gary is round.[(((((triple3) -> rule4)) -> rule7))]