Erin is red. Fiona is big. Harry is white. All white, big things are young. If something is cold then it is nice. All red things are cold. If something is young then it is nice. If something is white and cold then it is nice. All cold, nice things are big.
Erin is cold.
@0: Erin is red.[(triple1)] Fiona is big.[(triple2)] Harry is white.[(triple3)] @1: Erin is cold.[(((triple1) -> rule3))] @2: Erin is nice.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is big.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule6))]