Anne is green. Charlie is nice. Fiona is furry. Gary is green. Green things are not furry.
Fiona is furry.
@0: Anne is green.[(triple1)] Charlie is nice.[(triple2)] Fiona is furry.[(triple3)] Gary is green.[(triple4)] @1: Anne is not furry.[(((triple1) -> rule1))] Gary is not furry.[(((triple4) -> rule1))]