Charlie is kind. Charlie is red. Charlie is rough. Charlie is not round. Dave is blue. Dave is cold. Dave is red. Dave is round. Erin is furry. Gary is blue. All red things are kind. If Charlie is furry and Charlie is blue then Charlie is round. All furry, blue things are rough.
Erin is not rough.