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