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 green.
@0: Anne is blue.[(triple1)] Fiona is rough.[(triple2)] @1: Anne is green.[(((triple1) -> rule3))]