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