Anne is furry. Anne is kind. Anne is smart. Dave is kind. Erin is furry. Erin is not green. Fiona is white. If something is smart and not furry then it is green. Blue things are green. Smart things are blue. All white things are smart. If Fiona is white then Fiona is not kind. If Dave is furry and Dave is green then Dave is white.
Fiona is big.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Dave is kind.[(triple4)] Erin is furry.[(triple5)] Erin is not green.[(triple6)] Fiona is white.[(triple7)] @1: Anne is blue.[(((triple3) -> rule3))] Fiona is not kind.[(((triple7) -> rule5))] Fiona is smart.[(((triple7) -> rule4))] @2: Anne is green.[(((((triple3) -> rule3)) -> rule2))] Fiona is blue.[(((((triple7) -> rule4)) -> rule3))] @3: Fiona is green.[(((((((triple7) -> rule4)) -> rule3)) -> rule2))]