Bob is blue. Bob is nice. Bob is red. Bob is not smart. Bob is young. Gary is not blue. Gary is not green. Gary is nice. Gary is red. Gary is smart. Gary is white. Gary is young. All green things are white. Smart things are red. All white things are smart.
Bob is not young.