Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is round. Anne is white. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is round. Bob is white. If someone is big and white then they are green. White people are round. If someone is big then they are green. If Bob is round and Bob is big then Bob is green. All white, round people are big. Green people are white. If Anne is nice then Anne is green. All white, nice people are round.
Anne is not nice.