Bob is big. Bob is nice. Bob is smart. Fiona is green. Fiona is not nice. Fiona is smart. Fiona is not white. All nice things are not red. All nice, red things are smart. If Bob is big and Bob is red then Bob is smart. All white things are not red. Nice things are not red. If something is red and not smart then it is not green.
Bob is not nice.