Charlie is big. Charlie is cold. Charlie is furry. Erin is blue. Erin is green. Erin is red. Harry is furry. Red things are smart. Cold, big things are furry. If something is big and cold then it is blue. Cold, furry things are red. If Harry is furry and Harry is big then Harry is cold. All cold things are big. If something is blue and green then it is cold. All green, cold things are blue.
Harry is not cold.