Anne is white. Fiona is furry. Fiona is white. If someone is green and quiet then they are nice. If someone is white and quiet then they are not furry. Cold, white people are not furry. If someone is nice and not quiet then they are green. If someone is furry then they are not green. Nice people are not cold.
Fiona is not nice.
@0: Anne is white.[(triple1)] Fiona is furry.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is not green.[(((triple2) -> rule5))]