Fiona is quiet. All white, green things are quiet. If something is quiet then it is green. All smart things are white. Green things are smart. All white, red things are furry. Quiet, blue things are red. All red, blue things are furry. All blue things are quiet.
Fiona is green.
@0: Fiona is quiet.[(triple1)] @1: Fiona is green.[(((triple1) -> rule2))] @2: Fiona is smart.[(((((triple1) -> rule2)) -> rule4))] @3: Fiona is white.[(((((((triple1) -> rule2)) -> rule4)) -> rule3))]