Dave is smart. Erin is quiet. Fiona is smart. Gary is cold. If something is green and quiet then it is blue. If Fiona is smart and Fiona is blue then Fiona is quiet. Cold things are big. All big things are smart. If Erin is green and Erin is quiet then Erin is blue. Smart, cold things are blue.
Fiona is smart.
@0: Dave is smart.[(triple1)] Erin is quiet.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4)] @1: Gary is big.[(((triple4) -> rule3))] @2: Gary is smart.[(((((triple4) -> rule3)) -> rule4))] @3: Gary is blue.[(((((((triple4) -> rule3)) -> rule4) triple4) -> rule6))]