Anne is furry. Fiona is big. Harry is blue. All big people are blue. If Harry is rough and Harry is not furry then Harry is red. If someone is red and not blue then they are green.
Fiona is not green.
@0: Anne is furry.[(triple1)] Fiona is big.[(triple2)] Harry is blue.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule1))]