Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. If Erin is young and Erin is kind then Erin is quiet. Quiet people are white. If Erin is quiet then Erin is round. If someone is green and white then they are young. If someone is round and white then they are green. Round people are kind. If someone is green then they are quiet. If someone is green and red then they are kind.
Erin is round.
@0: Erin is green.[(triple1 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple3) -> rule2)) -> rule5) OR ((((triple3) -> rule3) triple6) -> rule5) OR ((((triple3) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((triple5 ((((triple7 triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 triple2) -> rule1)) -> rule3) triple6) -> rule5) OR ((((triple3) -> rule3) ((((triple7 triple2) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((((((triple7 triple2) -> rule1)) -> rule3) ((((triple7 triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple5 ((((triple7 ((triple5) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple3) -> rule3) ((((triple7 ((triple5) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 triple2) -> rule1)) -> rule3) ((((triple7 ((triple5) -> rule6)) -> rule1)) -> rule2)) -> rule5))] Erin is kind.[(triple2 OR ((triple5) -> rule6) OR ((triple1 triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple5 triple6) -> rule5) triple4) -> rule8) OR ((((((triple1) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 ((triple3) -> rule2)) -> rule5) triple4) -> rule8) OR ((((((triple3) -> rule3) triple6) -> rule5) triple4) -> rule8) OR ((((((triple3) -> rule3) ((triple3) -> rule2)) -> rule5) triple4) -> rule8))] Erin is quiet.[(triple3 OR ((triple1) -> rule7) OR ((triple7 triple2) -> rule1) OR ((((triple5 triple6) -> rule5)) -> rule7) OR ((triple7 ((triple5) -> rule6)) -> rule1) OR ((triple7 ((triple1 triple4) -> rule8)) -> rule1) OR ((((triple1 triple6) -> rule4) triple2) -> rule1) OR ((((triple1 triple6) -> rule4) ((triple5) -> rule6)) -> rule1) OR ((((triple1 triple6) -> rule4) ((triple1 triple4) -> rule8)) -> rule1) OR ((triple7 ((((triple5 triple6) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((triple5 triple6) -> rule5) triple6) -> rule4) triple2) -> rule1) OR ((((triple1 triple6) -> rule4) ((((triple5 triple6) -> rule5) triple4) -> rule8)) -> rule1) OR ((((((triple5 triple6) -> rule5) triple6) -> rule4) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 triple6) -> rule5) triple6) -> rule4) ((triple1 triple4) -> rule8)) -> rule1) OR ((((((triple5 triple6) -> rule5) triple6) -> rule4) ((((triple5 triple6) -> rule5) triple4) -> rule8)) -> rule1))] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple7 triple2) -> rule1)) -> rule3) OR ((((triple7 ((triple1 triple4) -> rule8)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule4) triple2) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule4) ((triple1 triple4) -> rule8)) -> rule1)) -> rule3))] Erin is white.[(triple6 OR ((triple3) -> rule2) OR ((((triple1) -> rule7)) -> rule2) OR ((((triple7 triple2) -> rule1)) -> rule2) OR ((((triple7 ((triple5) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((triple1 triple4) -> rule8)) -> rule1)) -> rule2))] Erin is young.[(triple7 OR ((triple1 triple6) -> rule4) OR ((triple1 ((triple3) -> rule2)) -> rule4) OR ((((triple5 triple6) -> rule5) triple6) -> rule4) OR ((((triple5 triple6) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((triple5 ((triple3) -> rule2)) -> rule5) triple6) -> rule4) OR ((((((triple3) -> rule3) triple6) -> rule5) triple6) -> rule4) OR ((((triple5 triple6) -> rule5) ((((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((triple5 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) triple6) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) ((triple3) -> rule2)) -> rule5) triple6) -> rule4) OR ((((triple5 ((triple3) -> rule2)) -> rule5) ((((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) triple6) -> rule5) ((((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule4) OR ((((((triple3) -> rule3) ((triple3) -> rule2)) -> rule5) ((((triple1) -> rule7)) -> rule2)) -> rule4))]