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