Bob is round. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Dave is nice. Dave is round. Gary is furry. Gary is green. Gary is nice. All round things are furry. If something is green and furry then it is kind. If something is white and nice then it is red. All furry things are green. If something is green then it is red. Nice, furry things are round.
Dave is not red.