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