Anne is quiet. Dave is blue. Dave is quiet. Dave is smart. Erin is blue. Erin is quiet. Erin is round. If someone is blue and quiet then they are nice. If Anne is blue then Anne is quiet. Nice, blue people are quiet. If Erin is blue and Erin is furry then Erin is quiet. All nice people are round. If someone is quiet and round then they are furry.
Anne is not blue.
@0: Anne is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7 OR ((((triple5 triple6) -> rule1)) -> rule5))] @1: Dave is nice.[(((triple2 triple3) -> rule1))] Erin is furry.[(((triple6 triple7) -> rule6) OR ((triple6 ((((triple5 triple6) -> rule1)) -> rule5)) -> rule6))] Erin is nice.[(((triple5 triple6) -> rule1))] @2: Dave is round.[(((((triple2 triple3) -> rule1)) -> rule5))] @3: Dave is furry.[(((triple3 ((((triple2 triple3) -> rule1)) -> rule5)) -> rule6))]