Dave is green. Fiona is blue. Harry is young. All green people are round. All young people are green. If Dave is cold then Dave is nice. All round people are not cold. If someone is cold and not green then they are nice. If someone is young and not nice then they are blue.
Harry is white.
@0: Dave is green.[(triple1)] Fiona is blue.[(triple2)] Harry is young.[(triple3)] @1: Dave is round.[(((triple1) -> rule1))] Harry is green.[(((triple3) -> rule2))] @2: Dave is not cold.[(((((triple1) -> rule1)) -> rule4))] Harry is round.[(((((triple3) -> rule2)) -> rule1))] @3: Harry is not cold.[(((((((triple3) -> rule2)) -> rule1)) -> rule4))]