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