Anne is big. Anne is green. Anne is nice. Dave is nice. Gary is furry. Gary is red. Harry is big. Harry is furry. Harry is rough. Harry is white. All white people are nice. If someone is nice then they are rough. All green people are red. If someone is red then they are white. If someone is green and rough then they are red. All rough, red people are white.
Dave is not furry.