Anne is white. Fiona is furry. Fiona is white. All smart, white things are green. All green things are furry. All white things are smart.
Anne is not furry.
@0: Anne is white.[(triple1)] Fiona is furry.[(triple2 OR ((((((triple3) -> rule3) triple3) -> rule1)) -> rule2))] Fiona is white.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is smart.[(((triple3) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3) triple1) -> rule1))] Fiona is green.[(((((triple3) -> rule3) triple3) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]