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