Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is smart. Erin is young. If something is nice and green then it is furry. If something is cold then it is young. If something is smart then it is nice. Young, cold things are green. Cold, green things are smart. Nice things are young.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple7 triple2) -> rule4)) -> rule1) OR ((((triple6) -> rule3) triple4) -> rule1) OR ((((triple6) -> rule3) ((triple7 triple2) -> rule4)) -> rule1) OR ((triple5 ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((triple5 ((((triple5) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule3) triple4) -> rule1) OR ((((triple6) -> rule3) ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((((triple6) -> rule3) ((((triple5) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule3) ((triple7 triple2) -> rule4)) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule3) ((((triple5) -> rule6) triple2) -> rule4)) -> rule1) OR ((triple5 ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((triple6) -> rule3) ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) ((triple7 triple2) -> rule4)) -> rule1) OR ((((((triple2 triple4) -> rule5)) -> rule3) ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) ((((triple5) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3) ((triple7 triple2) -> rule4)) -> rule1) OR ((((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3) ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3) ((((triple5) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3) ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4)) -> rule1))] Erin is green.[(triple4 OR ((triple7 triple2) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple5) -> rule6) triple2) -> rule4) OR ((((((triple6) -> rule3)) -> rule6) triple2) -> rule4))] Erin is nice.[(triple5 OR ((triple6) -> rule3) OR ((((triple2 triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple7 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5)) -> rule3))] Erin is smart.[(triple6 OR ((triple2 triple4) -> rule5) OR ((triple2 ((triple7 triple2) -> rule4)) -> rule5) OR ((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule5) OR ((triple2 ((((triple5) -> rule6) triple2) -> rule4)) -> rule5))] Erin is young.[(triple7 OR ((triple2) -> rule2) OR ((triple5) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule6))]