Erin is cold. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Erin is young. If something is cold and young then it is quiet. If something is cold and smart then it is quiet. If something is nice then it is cold. If something is young then it is rough. If something is white then it is young. If Erin is smart then Erin is white. Quiet things are young. If something is cold then it is white.
Erin is not nice.
@0: Erin is cold.[(triple1 OR ((triple2) -> rule3))] Erin is nice.[(triple2)] Erin is quiet.[(triple3 OR ((triple1 triple5) -> rule2) OR ((triple1 triple7) -> rule1) OR ((triple1 ((triple6) -> rule5)) -> rule1) OR ((((triple2) -> rule3) triple5) -> rule2) OR ((((triple2) -> rule3) triple7) -> rule1) OR ((((triple2) -> rule3) ((triple6) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((triple1 ((((triple5) -> rule6)) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((((triple5) -> rule6)) -> rule5)) -> rule1) OR ((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule5)) -> rule1))] Erin is rough.[(triple4 OR ((triple7) -> rule4) OR ((((triple3) -> rule7)) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple1) -> rule8)) -> rule5)) -> rule4) OR ((((((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((((triple1 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule3) triple5) -> rule2)) -> rule7)) -> rule4))] Erin is smart.[(triple5)] Erin is white.[(triple6 OR ((triple1) -> rule8) OR ((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule8))] Erin is young.[(triple7 OR ((triple3) -> rule7) OR ((triple6) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple5) -> rule6)) -> rule5) OR ((((triple1 triple5) -> rule2)) -> rule7) OR ((((((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((triple2) -> rule3) triple5) -> rule2)) -> rule7))]