Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. If someone is furry then they are round. All nice people are furry. Round people are smart. Smart people are nice. All round, furry people are smart. Round, quiet people are nice.
Erin is not red.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule2) OR ((((triple7) -> rule4)) -> rule2) OR ((((triple6 triple4) -> rule6)) -> rule2) OR ((((((triple6) -> rule3)) -> rule4)) -> rule2))] Erin is nice.[(triple3 OR ((triple7) -> rule4) OR ((triple6 triple4) -> rule6) OR ((((triple6) -> rule3)) -> rule4) OR ((((triple6 triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule1) triple4) -> rule6) OR ((((((triple2) -> rule1)) -> rule3)) -> rule4) OR ((((((triple2) -> rule1) triple2) -> rule5)) -> rule4))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((((triple7) -> rule4)) -> rule2)) -> rule1))] Erin is smart.[(triple7 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule5) OR ((((triple2) -> rule1)) -> rule3) OR ((triple6 ((triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule2)) -> rule1)) -> rule3) OR ((triple6 ((((triple6 triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule2)) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((((triple6 triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule2)) -> rule1) ((((triple6 triple4) -> rule6)) -> rule2)) -> rule5))]