Fiona is furry. If something is big and furry then it is not green. All furry things are big. All round things are big. If Fiona is big and Fiona is not green then Fiona is rough. If something is cold and not big then it is not white. If Fiona is green and Fiona is not rough then Fiona is not cold.
Fiona is not furry.
@0: Fiona is furry.[(triple1)] @1: Fiona is big.[(((triple1) -> rule2))] @2: Fiona is not green.[(((((triple1) -> rule2) triple1) -> rule1))] @3: Fiona is rough.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule4))]