Bob is not furry. Bob is red. Bob is rough. If Bob is not blue then Bob is kind. If Bob is rough and Bob is blue then Bob is not red. If someone is rough and not green then they are red. Green people are red. All green, rough people are not red. If someone is kind then they are big.
Bob is not big.