Dave is big. Dave is not cold. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is rough. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. If Dave is not cold then Dave is furry. All big, quiet things are red. If Gary is red and Gary is cold then Gary is big. If Dave is furry and Dave is not big then Dave is quiet. If something is not quiet then it is red. If something is furry and not big then it is rough. If something is not quiet then it is green. If something is not rough then it is furry.
Gary is cold.