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