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