Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is white. Anne is young. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is white. Dave is young. Big people are white. If Anne is big and Anne is kind then Anne is nice. White people are nice. If Anne is white and Anne is nice then Anne is kind. Young people are kind. All big people are white. If someone is big and young then they are nice. If someone is kind then they are blue.
Anne is not nice.