Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is white. Dave is blue. Dave is furry. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is red. Erin is young. Furry people are red.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is red.[(triple8 OR ((triple7) -> rule1))] Dave is white.[(triple9)] Dave is young.[(triple10)] Erin is blue.[(triple11)] Erin is green.[(triple12)] Erin is kind.[(triple13)] Erin is red.[(triple14)] Erin is young.[(triple15)]