Anne is not red. Anne is smart. Anne is young. Bob is big. Bob is red. Dave is big. Dave is red. Dave is young. Erin is not cold. Erin is not red. If something is round then it is smart. If something is young then it is white. If something is big then it is round. Smart, round things are cold. If something is cold then it is young. If something is big and not cold then it is white.
Bob is not red.