Dave is cold. Fiona is white. Big things are smart. If Fiona is white then Fiona is green. Green, white things are furry. All furry things are cold. If something is big and blue then it is cold. If something is furry and cold then it is green.
Fiona is not blue.
@0: Dave is cold.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is green.[(((triple2) -> rule2))] @2: Fiona is furry.[(((((triple2) -> rule2) triple2) -> rule3))] @3: Fiona is cold.[(((((((triple2) -> rule2) triple2) -> rule3)) -> rule4))]