Bob is cold. Erin is cold. Fiona is round. Gary is young. If something is round and cold then it is young. If something is nice and cold then it is round. All red, nice things are young. Young things are smart. If something is round then it is cold. If Fiona is round and Fiona is red then Fiona is cold.
Fiona is not cold.
@0: Bob is cold.[(triple1)] Erin is cold.[(triple2)] Fiona is round.[(triple3)] Gary is young.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule5))] Gary is smart.[(((triple4) -> rule4))] @2: Fiona is young.[(((triple3 ((triple3) -> rule5)) -> rule1))] @3: Fiona is smart.[(((((triple3 ((triple3) -> rule5)) -> rule1)) -> rule4))]