Anne is cold. Dave is blue. Fiona is green. All blue things are cold. All green things are cold. Green, blue things are cold. Nice, round things are cold. If Fiona is green and Fiona is blue then Fiona is nice. If Dave is quiet and Dave is big then Dave is green. If Fiona is cold and Fiona is round then Fiona is quiet. Green, cold things are big.
Fiona is big.
@0: Anne is cold.[(triple1)] Dave is blue.[(triple2)] Fiona is green.[(triple3)] @1: Dave is cold.[(((triple2) -> rule1))] Fiona is cold.[(((triple3) -> rule2))] @2: Fiona is big.[(((triple3 ((triple3) -> rule2)) -> rule8))]