Charlie is blue. Charlie is kind. Charlie is nice. Charlie is rough. Dave is big. Dave is blue. Dave is furry. Dave is kind. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Kind, big people are red. If someone is furry and nice then they are kind. Furry people are big. If Gary is big then Gary is red. If someone is rough and red then they are big. Nice people are furry.
Dave is not rough.