Fiona is furry. If someone is big then they are red. If someone is green then they are round. Furry people are big.
Fiona is not furry.
@0: Fiona is furry.[(triple1)] @1: Fiona is big.[(((triple1) -> rule3))] @2: Fiona is red.[(((((triple1) -> rule3)) -> rule1))]