Anne is rough. Charlie is green. Fiona is nice. Harry is green. If Fiona is green and Fiona is white then Fiona is nice. Green people are nice.
Anne is not nice.
@0: Anne is rough.[(triple1)] Charlie is green.[(triple2)] Fiona is nice.[(triple3)] Harry is green.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule2))] Harry is nice.[(((triple4) -> rule2))]