Anne is red. Bob is red. If someone is not rough then they are round. If someone is not white then they are green. If someone is big and round then they are red. If someone is red and not rough then they are green. If someone is green and round then they are not white. All red, kind people are round.
Bob is not big.