Anne is green. Dave is white. Fiona is smart. Smart, quiet things are not big. If Fiona is nice and Fiona is smart then Fiona is big. All green things are smart. If something is big and not green then it is white. If something is nice and not big then it is white. Quiet, smart things are white.
Fiona is smart.
@0: Anne is green.[(triple1)] Dave is white.[(triple2)] Fiona is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))]