Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is not red. Dave is not smart. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is smart. If someone is young then they are big. If someone is red then they are furry. If someone is not cold then they are young. If someone is young and blue then they are furry. If someone is big and not red then they are young. If someone is cold and not young then they are smart. If someone is furry and not big then they are smart. If someone is not smart then they are furry.
Gary is not big.