Dave is green. Fiona is red. Harry is green. If something is green then it is rough. If something is red then it is rough. Green things are red.
Harry is green.
@0: Dave is green.[(triple1)] Fiona is red.[(triple2)] Harry is green.[(triple3)] @1: Dave is red.[(((triple1) -> rule3))] Dave is rough.[(((triple1) -> rule1) OR ((((triple1) -> rule3)) -> rule2))] Fiona is rough.[(((triple2) -> rule2))] Harry is red.[(((triple3) -> rule3))] Harry is rough.[(((triple3) -> rule1) OR ((((triple3) -> rule3)) -> rule2))]