Dave is blue. Fiona is furry. Harry is cold. All furry things are blue. All furry, kind things are cold. If Harry is quiet and Harry is blue then Harry is furry. If something is quiet then it is blue. All green, blue things are nice. If Harry is nice and Harry is furry then Harry is blue. If something is quiet and green then it is nice. Furry things are cold.
Harry is not cold.
@0: Dave is blue.[(triple1)] Fiona is furry.[(triple2)] Harry is cold.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule1))] Fiona is cold.[(((triple2) -> rule8))]