Anne is big. Bob is big. Charlie is smart. Fiona is quiet. If Fiona is red then Fiona is rough. Big, red things are rough. All green things are red. All quiet things are green. If something is quiet and not furry then it is green. If something is green then it is quiet.
Fiona is not green.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Charlie is smart.[(triple3)] Fiona is quiet.[(triple4)] @1: Fiona is green.[(((triple4) -> rule4))] @2: Fiona is red.[(((((triple4) -> rule4)) -> rule3))] @3: Fiona is rough.[(((((((triple4) -> rule4)) -> rule3)) -> rule1))]