Anne is furry. Anne is nice. Dave is furry. Dave is not nice. Erin is smart. Harry is furry. Harry is nice. All round people are quiet. All round people are green. All quiet, furry people are green. Furry people are green. Big, quiet people are not smart. Smart people are nice. All green people are big. If Anne is big and Anne is green then Anne is round. If someone is quiet and smart then they are round.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Dave is furry.[(triple3)] Dave is not nice.[(triple4)] Erin is smart.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Anne is green.[(((triple1) -> rule4))] Dave is green.[(((triple3) -> rule4))] Erin is nice.[(((triple5) -> rule6))] Harry is green.[(((triple6) -> rule4))] @2: Anne is big.[(((((triple1) -> rule4)) -> rule7))] Dave is big.[(((((triple3) -> rule4)) -> rule7))] Harry is big.[(((((triple6) -> rule4)) -> rule7))] @3: Anne is round.[(((((((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule8))] @4: Anne is quiet.[(((((((((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule8)) -> rule1))] @5: Anne is not smart.[(((((((triple1) -> rule4)) -> rule7) ((((((((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule8)) -> rule1)) -> rule5))]