Dave is cold. Dave is kind. Erin is not big. Gary is cold. Gary is furry. Harry is not cold. Harry is smart. If something is kind and big then it is not furry. If something is blue then it is smart. All smart things are big. If something is furry then it is smart. All kind things are red. If something is red then it is blue. If something is kind and not red then it is blue.
Dave is big.