Dave is round. Dave is smart. Erin is smart. Fiona is big. Fiona is round. Gary is red. Gary is round. If something is cold then it is nice. All big things are round. If Dave is red and Dave is smart then Dave is big. All big things are not cold. If something is smart then it is red. If something is cold and not big then it is not round. If something is cold and not red then it is smart. If something is quiet and not nice then it is round.
Dave is not cold.