Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is blue. Charlie is cold. Dave is blue. Dave is kind. Dave is nice. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is smart. All blue things are green. All nice things are blue. If something is nice then it is smart. If Charlie is nice and Charlie is blue then Charlie is red. All nice things are green. If something is red and cold then it is nice.
Dave is blue.