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