Bob is big. Bob is not white. Dave is not big. If something is red and not round then it is not nice. Young things are nice. If Bob is big and Bob is young then Bob is not round. All white things are nice. If Dave is not red then Dave is not young. All big things are young.
Bob is not round.