Anne is blue. Anne is green. Charlie is green. Charlie is smart. Fiona is furry. Fiona is green. Fiona is smart. All cold people are furry. Furry, kind people are cold. Furry, smart people are kind. If someone is rough and smart then they are green. If someone is blue and rough then they are smart. If Anne is smart and Anne is furry then Anne is cold.
Charlie is not furry.