Dave is big. Dave is furry. Dave is not nice. Dave is red. Dave is rough. Dave is white. Erin is rough. Gary is big. Gary is blue. Gary is nice. Gary is rough. Gary is white. Red things are blue. If Erin is rough and Erin is white then Erin is furry. If something is nice then it is rough. All nice things are blue. If something is nice and furry then it is not white. If Gary is white then Gary is red. If something is white and rough then it is big. If Erin is not rough then Erin is not blue.
Dave is red.