Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is young. All big, cold people are blue. All quiet, blue people are cold. All green, young people are cold. All young, blue people are cold. If Erin is green and Erin is big then Erin is young. Blue people are cold. All young, big people are quiet. All blue people are cold.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple4 triple7) -> rule3)) -> rule1) OR ((triple1 ((triple4 ((triple4 triple1) -> rule5)) -> rule3)) -> rule1))] Erin is cold.[(triple3 OR ((triple2) -> rule6) OR ((triple2) -> rule8) OR ((triple4 triple7) -> rule3) OR ((triple5 triple2) -> rule2) OR ((triple7 triple2) -> rule4) OR ((triple4 ((triple4 triple1) -> rule5)) -> rule3) OR ((((triple4 triple1) -> rule5) triple2) -> rule4) OR ((((triple7 triple1) -> rule7) triple2) -> rule2) OR ((((((triple4 triple1) -> rule5) triple1) -> rule7) triple2) -> rule2))] Erin is green.[(triple4)] Erin is quiet.[(triple5 OR ((triple7 triple1) -> rule7) OR ((((triple4 triple1) -> rule5) triple1) -> rule7))] Erin is red.[(triple6)] Erin is young.[(triple7 OR ((triple4 triple1) -> rule5))]