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