Dave is big. Dave is green. Dave is white. Gary is big. Gary is furry. Gary is round. Gary is white. If someone is white then they are nice. Round, big people are white. If Dave is big and Dave is nice then Dave is furry. All round, furry people are green. All cold, round people are green. All big, round people are furry. Round, cold people are furry. If someone is nice and furry then they are cold.
Dave is not green.