Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is smart. Dave is white. Erin is cold. Erin is furry. Erin is kind. Erin is smart. Erin is white. If someone is furry and cold then they are white. If Erin is furry then Erin is white. If someone is kind and smart then they are rough. If Erin is big then Erin is kind. All furry people are rough. If someone is white then they are cold. All furry, white people are big. Big, cold people are white.
Erin is not cold.
@0: Dave is big.[(triple1 OR ((triple3 triple7) -> rule7) OR ((triple3 ((triple3 triple2) -> rule1)) -> rule7))] Dave is cold.[(triple2 OR ((triple7) -> rule6))] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule5) OR ((triple4 triple6) -> rule3))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple1 triple2) -> rule8) OR ((triple3 triple2) -> rule1))] Erin is cold.[(triple8 OR ((triple12) -> rule6) OR ((((triple9) -> rule2)) -> rule6))] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((((triple9 triple12) -> rule7)) -> rule4) OR ((((triple9 ((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((triple9 ((triple9 triple8) -> rule1)) -> rule7)) -> rule4))] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple9) -> rule2) OR ((triple9 triple8) -> rule1))] @1: Erin is big.[(((triple9 triple12) -> rule7) OR ((triple9 ((triple9) -> rule2)) -> rule7) OR ((triple9 ((triple9 triple8) -> rule1)) -> rule7))] Erin is rough.[(((triple9) -> rule5) OR ((triple10 triple11) -> rule3) OR ((((((triple9 triple12) -> rule7)) -> rule4) triple11) -> rule3) OR ((((((triple9 ((triple9) -> rule2)) -> rule7)) -> rule4) triple11) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule1)) -> rule7)) -> rule4) triple11) -> rule3))]