Anne is blue. Anne is red. Anne is round. Dave is blue. Dave is cold. Dave is red. Dave is round. Dave is smart. Erin is big. Gary is big. Gary is round. If Dave is kind then Dave is round. Red things are cold. All round, blue things are kind. If something is big then it is red. All blue things are big. If something is round then it is red. Smart, cold things are blue. Cold things are smart. If Gary is red then Gary is cold.
Dave is not red.