Anne is furry. Anne is red. Anne is young. Bob is big. Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is young. If Anne is rough then Anne is round. If Anne is red then Anne is young. If someone is furry and not young then they are not big.
Bob is not nice.