Fiona is white. If Fiona is white then Fiona is furry. All green, red things are nice. White, rough things are green. All blue, nice things are white. If Fiona is white then Fiona is red. Rough things are red.
Fiona is not green.
@0: Fiona is white.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule1))] Fiona is red.[(((triple1) -> rule5))]