Erin is cold. Fiona is big. Gary is smart. Harry is smart. If Fiona is big then Fiona is blue. All blue, big things are round. Blue things are young. All cold, white things are young. If something is cold then it is big. If Fiona is young and Fiona is blue then Fiona is cold. All smart things are white. If something is smart and white then it is round.
Fiona is young.
@0: Erin is cold.[(triple1)] Fiona is big.[(triple2)] Gary is smart.[(triple3)] Harry is smart.[(triple4)] @1: Erin is big.[(((triple1) -> rule5))] Fiona is blue.[(((triple2) -> rule1))] Gary is white.[(((triple3) -> rule7))] Harry is white.[(((triple4) -> rule7))] @2: Fiona is round.[(((((triple2) -> rule1) triple2) -> rule2))] Fiona is young.[(((((triple2) -> rule1)) -> rule3))] Gary is round.[(((triple3 ((triple3) -> rule7)) -> rule8))] Harry is round.[(((triple4 ((triple4) -> rule7)) -> rule8))] @3: Fiona is cold.[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule6))]