Anne is big. Anne is blue. Anne is not red. Anne is not white. Dave is red. Dave is young. Fiona is big. Fiona is not white. Gary is blue. Gary is furry. Gary is red. Gary is not rough. Furry, big things are blue. If something is blue and not furry then it is big. If something is furry then it is not big. If something is furry and rough then it is white. If something is white then it is not rough. All furry, rough things are white. If something is not big then it is white. If something is rough and not white then it is not furry.
Dave is not rough.