Dave is cold. Erin is young. Fiona is furry. Quiet things are young. All blue, red things are young. All red, cold things are furry. If something is blue then it is quiet. Furry, young things are cold. All furry things are quiet.
Dave is big.
@0: Dave is cold.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] @1: Fiona is quiet.[(((triple3) -> rule6))] @2: Fiona is young.[(((((triple3) -> rule6)) -> rule1))] @3: Fiona is cold.[(((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule5))]