Anne is blue. Fiona is rough. If someone is furry then they are kind. If Fiona is white then Fiona is green. All blue people are green.
Anne is not green.
@0: Anne is blue.[(triple1)] Fiona is rough.[(triple2)] @1: Anne is green.[(((triple1) -> rule3))]