Anne is big. Anne is furry. Anne is quiet. Anne is rough. Bob is not big. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Bob is white. If someone is smart then they are quiet. If someone is white then they are red. If Bob is rough and Bob is white then Bob is red. If Anne is big then Anne is smart. If someone is smart then they are quiet. All furry, smart people are white. If Bob is quiet and Bob is not white then Bob is smart. If someone is not red then they are rough.
Anne is not rough.