Anne is big. Anne is quiet. Dave is furry. Dave is nice. Erin is furry. Erin is green. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is smart. Quiet, furry things are nice. Smart things are green. If something is quiet then it is white. If something is green then it is furry. All white things are smart.
Anne is not furry.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule4))] Erin is green.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule4) OR ((((triple10) -> rule2)) -> rule4))] Fiona is green.[(triple8 OR ((triple10) -> rule2))] Fiona is not quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is white.[(((triple2) -> rule3))] @2: Anne is smart.[(((((triple2) -> rule3)) -> rule5))] @3: Anne is green.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))] @4: Anne is furry.[(((((((((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule4))] @5: Anne is nice.[(((triple2 ((((((((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule4)) -> rule1))]