Bob is big. Bob is kind. Bob is nice. Bob is not red. Bob is smart. Bob is white. Bob is young. Dave is kind. Dave is nice. Dave is not red. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is kind. Gary is nice. If Dave is big then Dave is smart. If Dave is young and Dave is red then Dave is kind. If someone is kind then they are young. If Dave is nice and Dave is big then Dave is not red. If someone is not young and not nice then they are smart. If someone is not big and not young then they are not red.
Gary is not smart.