Bob is green. Bob is red. Bob is round. Dave is cold. Dave is not furry. Dave is green. Dave is red. Erin is cold. Erin is furry. Erin is not red. Erin is rough. Erin is round. If Bob is cold then Bob is round. If someone is red and not cold then they are smart. If someone is not green and not cold then they are not red.
Bob is not smart.