Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is white. Charlie is nice. Charlie is red. Charlie is smart. Dave is blue. Dave is nice. Dave is rough. Gary is blue. Gary is furry. Gary is nice. Gary is smart. If someone is red and smart then they are white. If Charlie is rough and Charlie is white then Charlie is smart. If Gary is white and Gary is nice then Gary is blue. If Gary is nice then Gary is white. All furry, white people are smart. If Anne is white and Anne is rough then Anne is nice. All nice, blue people are red. If someone is white then they are nice.
Dave is not rough.