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