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