Anne is big. Anne is not red. Bob is big. Bob is not blue. Bob is red. Bob is rough. Bob is not smart. All rough, green people are red. If Anne is big then Anne is not blue. If someone is red and not green then they are not blue.
Anne is rough.