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