Bob is green. Bob is smart. Bob is young. Charlie is big. Charlie is cold. Charlie is green. Charlie is round. Charlie is young. Dave is big. Dave is round. Gary is cold. Gary is young. All green, smart things are furry. If something is cold and big then it is furry. Big things are round. All smart things are cold. All big things are smart. If Gary is cold then Gary is not green. If Gary is not round then Gary is not smart. If something is not cold and not green then it is furry.
Bob is not round.