Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. All young people are big. If someone is kind then they are big. If someone is red and nice then they are smart. If Bob is smart then Bob is young. Big, red people are kind. All nice people are quiet. All quiet people are red. If someone is red then they are nice.
Bob is not nice.