Bob is not big. Bob is blue. Bob is furry. Bob is not nice. Bob is red. Bob is not rough. Gary is blue. Gary is not furry. Gary is not nice. Gary is quiet. Gary is red. Gary is rough. If someone is nice then they are not rough. If someone is not quiet then they are furry. All big people are furry. If someone is not rough then they are red. If Gary is furry then Gary is big. If Gary is red and Gary is nice then Gary is furry. If someone is not nice then they are red. If someone is not big then they are red.
Bob is rough.