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