Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is round. Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is round. Gary is blue. Gary is cold. Gary is furry. Gary is round. Gary is smart. If Gary is round then Gary is cold. All round people are red. All round, smart people are furry. If someone is cold then they are smart. If someone is round and red then they are smart. All smart, nice people are round.
Dave is not smart.