Anne is cold. Dave is cold. Fiona is big. If Anne is nice and Anne is white then Anne is young. If something is white then it is big. If something is white and big then it is nice. All big things are nice. All big things are young. If something is nice then it is furry.
Dave is cold.
@0: Anne is cold.[(triple1)] Dave is cold.[(triple2)] Fiona is big.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule4))] Fiona is young.[(((triple3) -> rule5))] @2: Fiona is furry.[(((((triple3) -> rule4)) -> rule6))]