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