Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is white. If Erin is green and Erin is big then Erin is kind. If someone is green then they are cold. All smart people are white. If Erin is smart then Erin is big. Cold people are smart. All kind people are cold.
Erin is smart.
@0: Erin is big.[(triple1 OR ((triple6) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple4) -> rule6)) -> rule5)) -> rule4))] Erin is cold.[(triple2 OR ((triple3) -> rule2) OR ((triple4) -> rule6) OR ((((triple3 triple1) -> rule1)) -> rule6) OR ((((triple3 ((triple6) -> rule4)) -> rule1)) -> rule6))] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple6) -> rule4)) -> rule1) OR ((triple3 ((((triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple3 ((((((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule1))] Erin is quiet.[(triple5)] Erin is smart.[(triple6 OR ((triple2) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple4) -> rule6)) -> rule5) OR ((((((triple3 triple1) -> rule1)) -> rule6)) -> rule5))] Erin is white.[(triple7 OR ((triple6) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple3 triple1) -> rule1)) -> rule6)) -> rule5)) -> rule3))]