Bob is green. Charlie is furry. Erin is round. If Bob is green then Bob is furry. Big, blue things are round. All round, big things are furry. If Charlie is green and Charlie is round then Charlie is blue. Furry, big things are white. If Charlie is furry then Charlie is kind. If something is blue then it is green. All kind things are big.
Bob is not white.