Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is smart. Erin is white. Cold, green people are big. All green, big people are kind. If someone is white then they are smart. If someone is big then they are white. All white people are smart. If someone is kind then they are green. Furry, big people are white. Cold people are furry.
Erin is white.
@0: Erin is big.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple5) -> rule6)) -> rule1))] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2) -> rule8))] Erin is green.[(triple4 OR ((triple5) -> rule6))] Erin is kind.[(triple5 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple2 triple4) -> rule1)) -> rule2))] Erin is smart.[(triple6 OR ((triple7) -> rule3) OR ((triple7) -> rule5) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule7)) -> rule3) OR ((((triple3 triple1) -> rule7)) -> rule5) OR ((((((triple2 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule4)) -> rule5) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule7)) -> rule3) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule7)) -> rule5) OR ((((((triple2) -> rule8) triple1) -> rule7)) -> rule3) OR ((((((triple2) -> rule8) triple1) -> rule7)) -> rule5) OR ((((((triple2) -> rule8) ((triple2 triple4) -> rule1)) -> rule7)) -> rule3) OR ((((((triple2) -> rule8) ((triple2 triple4) -> rule1)) -> rule7)) -> rule5) OR ((((((triple2 ((triple5) -> rule6)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple2 ((triple5) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((triple3 ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((triple3 ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple2) -> rule8) ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule3) OR ((((((triple2) -> rule8) ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7)) -> rule5))] Erin is white.[(triple7 OR ((triple1) -> rule4) OR ((triple3 triple1) -> rule7) OR ((((triple2 triple4) -> rule1)) -> rule4) OR ((triple3 ((triple2 triple4) -> rule1)) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((triple2) -> rule8) ((triple2 triple4) -> rule1)) -> rule7) OR ((((triple2 ((triple5) -> rule6)) -> rule1)) -> rule4) OR ((triple3 ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((triple2) -> rule8) ((triple2 ((triple5) -> rule6)) -> rule1)) -> rule7))]