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