Bob is blue. Bob is cold. Bob is green. Bob is smart. Charlie is blue. Dave is blue. Dave is kind. Gary is big. Gary is blue. Gary is furry. Gary is kind. All blue, cold things are big. If something is not kind then it is smart. Green, furry things are cold. Green things are cold. All smart, big things are furry. All smart things are green.
Dave is not green.