Anne is not big. Anne is cold. Anne is not furry. Anne is green. Anne is not kind. Anne is nice. Anne is red. Bob is big. Bob is not cold. Bob is furry. Bob is not nice. Bob is red. Nice things are green. If something is big and not red then it is not nice. All kind, cold things are not red. Cold, green things are not big. If something is red and not cold then it is big. Red, nice things are not kind.
Bob is not big.