Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is smart. Erin is white. All big things are white. If Erin is cold then Erin is white. Big, white things are cold. White, round things are smart. Green things are cold. If Erin is white and Erin is smart then Erin is green. If Erin is big and Erin is round then Erin is green. If something is smart then it is green.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule5) OR ((triple1 triple7) -> rule3) OR ((((triple6) -> rule8)) -> rule5) OR ((((triple1 triple5) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule6)) -> rule5) OR ((triple1 ((triple1) -> rule1)) -> rule3) OR ((((((triple7 triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple7 ((triple7 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((((triple1) -> rule1) triple6) -> rule6)) -> rule5) OR ((((((triple1) -> rule1) ((triple7 triple5) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule1) triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple7 ((((triple1) -> rule1) triple5) -> rule4)) -> rule6)) -> rule5) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple5) -> rule4)) -> rule6)) -> rule5))] Erin is green.[(triple3 OR ((triple6) -> rule8) OR ((triple1 triple5) -> rule7) OR ((triple7 triple6) -> rule6) OR ((((triple7 triple5) -> rule4)) -> rule8) OR ((triple7 ((triple7 triple5) -> rule4)) -> rule6) OR ((((triple1) -> rule1) triple6) -> rule6) OR ((((triple2) -> rule2) triple6) -> rule6) OR ((((triple1) -> rule1) ((triple7 triple5) -> rule4)) -> rule6) OR ((((triple2) -> rule2) ((triple7 triple5) -> rule4)) -> rule6) OR ((((((triple1) -> rule1) triple5) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) triple5) -> rule4)) -> rule8) OR ((triple7 ((((triple1) -> rule1) triple5) -> rule4)) -> rule6) OR ((triple7 ((((triple2) -> rule2) triple5) -> rule4)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple5) -> rule4)) -> rule6) OR ((((triple1) -> rule1) ((((triple2) -> rule2) triple5) -> rule4)) -> rule6) OR ((((triple2) -> rule2) ((((triple1) -> rule1) triple5) -> rule4)) -> rule6) OR ((((triple2) -> rule2) ((((triple2) -> rule2) triple5) -> rule4)) -> rule6))] Erin is nice.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple7 triple5) -> rule4) OR ((((triple1) -> rule1) triple5) -> rule4) OR ((((triple2) -> rule2) triple5) -> rule4) OR ((((((triple3) -> rule5)) -> rule2) triple5) -> rule4) OR ((((((((triple1 triple5) -> rule7)) -> rule5)) -> rule2) triple5) -> rule4))] Erin is white.[(triple7 OR ((triple1) -> rule1) OR ((triple2) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((((triple6) -> rule8)) -> rule5)) -> rule2) OR ((((((triple1 triple5) -> rule7)) -> rule5)) -> rule2))]