Dave is big. Dave is blue. Dave is furry. Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is blue. Erin is furry. Erin is quiet. Erin is white. Erin is young. Gary is blue. Gary is furry. Gary is white. Harry is white. If something is red and white then it is quiet. If Gary is blue and Gary is big then Gary is white.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4 OR ((triple5 triple6) -> rule1))] Dave is red.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is white.[(triple15)] Harry is white.[(triple16)]