Erin is furry. Erin is kind. Erin is not quiet. Erin is red. Erin is rough. Erin is round. Erin is white. All kind, furry things are red. All rough, quiet things are kind. Furry, rough things are kind. If Erin is round then Erin is furry. All rough, furry things are round. White things are rough. If something is red and not quiet then it is rough. All furry things are white.
Erin is white.
@0: Erin is furry.[(triple1 OR ((triple6) -> rule4))] Erin is kind.[(triple2 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple7) -> rule6)) -> rule3) OR ((triple1 ((triple4 triple3) -> rule7)) -> rule3) OR ((((triple6) -> rule4) triple5) -> rule3) OR ((((triple6) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((triple4 triple3) -> rule7)) -> rule3) OR ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3))] Erin is not quiet.[(triple3)] Erin is red.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple6) -> rule4)) -> rule1) OR ((((triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple1 triple5) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((triple1 ((triple7) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule4) triple5) -> rule3) triple1) -> rule1) OR ((((triple1 ((triple7) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) triple5) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((triple7) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule4) ((triple7) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) triple1) -> rule1) OR ((((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((((triple1) -> rule8)) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule4) ((((triple1) -> rule8)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((triple1 ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3) triple1) -> rule1) OR ((((triple1 ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule4) ((((((triple6) -> rule4)) -> rule8)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule1))] Erin is rough.[(triple5 OR ((triple7) -> rule6) OR ((triple4 triple3) -> rule7) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple2 triple1) -> rule1) triple3) -> rule7) OR ((((((triple6) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule4)) -> rule1) triple3) -> rule7))] Erin is round.[(triple6 OR ((triple5 triple1) -> rule5) OR ((((triple7) -> rule6) triple1) -> rule5) OR ((((triple4 triple3) -> rule7) triple1) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) triple1) -> rule5) OR ((((((triple2 triple1) -> rule1) triple3) -> rule7) triple1) -> rule5))] Erin is white.[(triple7 OR ((triple1) -> rule8) OR ((((triple6) -> rule4)) -> rule8))]