Bob is blue. Fiona is cold. Harry is green. Green people are red. If Bob is big then Bob is blue. Red, big people are blue. Big, green people are red. If Harry is nice then Harry is cold. All green people are nice.
Harry is green.
@0: Bob is blue.[(triple1)] Fiona is cold.[(triple2)] Harry is green.[(triple3)] @1: Harry is nice.[(((triple3) -> rule6))] Harry is red.[(((triple3) -> rule1))] @2: Harry is cold.[(((((triple3) -> rule6)) -> rule5))]