Dave is blue. Fiona is round. Harry is furry. All red, furry things are green. If Harry is furry then Harry is red. If Fiona is green and Fiona is red then Fiona is nice. All green things are nice. If something is blue and round then it is not nice. If something is round and not green then it is not nice.
Harry is nice.
@0: Dave is blue.[(triple1)] Fiona is round.[(triple2)] Harry is furry.[(triple3)] @1: Harry is red.[(((triple3) -> rule2))] @2: Harry is green.[(((((triple3) -> rule2) triple3) -> rule1))] @3: Harry is nice.[(((((((triple3) -> rule2) triple3) -> rule1)) -> rule4))]