Bob is big. Bob is green. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Cold, smart people are blue. Green, smart people are big. All green, furry people are kind. All furry people are kind. If Bob is big and Bob is blue then Bob is furry. Kind, smart people are cold. If Charlie is smart and Charlie is kind then Charlie is blue. If someone is green then they are smart.
Bob is cold.