Erin is big. Erin is blue. Erin is furry. Erin is quiet. Erin is rough. Erin is smart. Erin is white. All furry, big people are blue. All blue, furry people are rough. Smart, quiet people are furry. If Erin is white then Erin is smart. If Erin is white and Erin is big then Erin is quiet. If Erin is not white and Erin is not furry then Erin is not rough.
Erin is not quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple3 triple1) -> rule1) OR ((((triple6 triple4) -> rule3) triple1) -> rule1) OR ((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) OR ((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1))] Erin is furry.[(triple3 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple7 triple1) -> rule5)) -> rule3) OR ((((triple7) -> rule4) triple4) -> rule3) OR ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3))] Erin is quiet.[(triple4 OR ((triple7 triple1) -> rule5))] Erin is rough.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple6 triple4) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule1) triple3) -> rule2) OR ((((triple3 triple1) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((triple2 ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((triple6 triple4) -> rule3) triple1) -> rule1) triple3) -> rule2) OR ((triple2 ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule1) ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule1) ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((triple6 triple4) -> rule3) triple1) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule1) ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 triple4) -> rule3) triple1) -> rule1) ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 triple4) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((triple6 triple4) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) triple3) -> rule2) OR ((((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) triple3) -> rule2) OR ((((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) triple3) -> rule2) OR ((((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((((((triple6 ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) triple4) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((triple6 ((triple7 triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) triple4) -> rule3)) -> rule2) OR ((((((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) triple1) -> rule1) ((((triple7) -> rule4) ((triple7 triple1) -> rule5)) -> rule3)) -> rule2))] Erin is smart.[(triple6 OR ((triple7) -> rule4))] Erin is white.[(triple7)]