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