Anne is cold. Bob is nice. Bob is red. Bob is round. Bob is smart. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is not smart. If Erin is red then Erin is cold. If Bob is not smart and Bob is not cold then Bob is blue.
Bob is not blue.