Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is round. Erin is smart. Smart, cold things are furry. If Erin is smart and Erin is blue then Erin is round. Big things are round. Big things are cold. If something is furry and cold then it is blue. If something is round and blue then it is smart.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple1) -> rule4)) -> rule5) OR ((((triple7 triple3) -> rule1) triple3) -> rule5) OR ((((triple7 triple3) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple7 ((triple1) -> rule4)) -> rule1) triple3) -> rule5) OR ((((triple7 ((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule5))] Erin is cold.[(triple3 OR ((triple1) -> rule4))] Erin is furry.[(triple4 OR ((triple7 triple3) -> rule1) OR ((triple7 ((triple1) -> rule4)) -> rule1) OR ((((triple6 triple2) -> rule6) triple3) -> rule1) OR ((((triple6 triple2) -> rule6) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule3) triple2) -> rule6) triple3) -> rule1) OR ((((((triple1) -> rule3) triple2) -> rule6) ((triple1) -> rule4)) -> rule1))] Erin is kind.[(triple5)] Erin is round.[(triple6 OR ((triple1) -> rule3) OR ((triple7 triple2) -> rule2) OR ((triple7 ((triple4 triple3) -> rule5)) -> rule2) OR ((triple7 ((triple4 ((triple1) -> rule4)) -> rule5)) -> rule2) OR ((triple7 ((((triple7 triple3) -> rule1) triple3) -> rule5)) -> rule2) OR ((triple7 ((((triple7 triple3) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule2) OR ((triple7 ((((triple7 ((triple1) -> rule4)) -> rule1) triple3) -> rule5)) -> rule2) OR ((triple7 ((((triple7 ((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule2))] Erin is smart.[(triple7 OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple4 triple3) -> rule5)) -> rule6) OR ((((triple1) -> rule3) triple2) -> rule6) OR ((((triple1) -> rule3) ((triple4 triple3) -> rule5)) -> rule6) OR ((triple6 ((triple4 ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((triple1) -> rule4)) -> rule5)) -> rule6))]