Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is rough. Charlie is cold. Charlie is furry. Charlie is rough. Harry is blue. Harry is smart. If Anne is blue then Anne is furry. All nice, blue things are cold. Green, nice things are smart. Nice, cold things are smart. If Anne is smart and Anne is rough then Anne is furry. If something is cold and rough then it is nice. If something is cold and smart then it is blue. If Anne is cold and Anne is nice then Anne is blue.
Charlie is rough.