Charlie is blue. Charlie is green. Charlie is white. Dave is big. Dave is green. Dave is white. Gary is white. Green people are blue. All young, green people are blue. Big people are young. If someone is furry then they are quiet. If Gary is big and Gary is furry then Gary is white. All blue people are furry.
Dave is not furry.