Anne is kind. Anne is not red. Dave is furry. Dave is green. Dave is not kind. Dave is rough. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is white. Gary is furry. Gary is not green. Gary is not kind. Gary is rough. All red people are green. All red people are white. If someone is furry then they are blue. If someone is rough and not red then they are blue. If someone is white then they are furry. If Erin is blue and Erin is not furry then Erin is kind.
Dave is not kind.
@0: Anne is kind.[(triple1)] Anne is not red.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is not kind.[(triple5)] Dave is rough.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule3) OR ((((triple12) -> rule5)) -> rule3) OR ((((((triple11) -> rule2)) -> rule5)) -> rule3))] Erin is furry.[(triple8 OR ((triple12) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Erin is green.[(triple9 OR ((triple11) -> rule1))] Erin is kind.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12 OR ((triple11) -> rule2))] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is not kind.[(triple15)] Gary is rough.[(triple16)] @1: Dave is blue.[(((triple3) -> rule3))] Gary is blue.[(((triple13) -> rule3))]