Anne is blue. Anne is cold. Anne is furry. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Gary is big. Gary is rough. Harry is quiet. If something is furry and rough then it is blue. Cold things are smart. If Harry is big then Harry is cold. Cold, smart things are rough. Furry things are quiet. Rough things are furry. If something is quiet then it is big. If something is blue and not furry then it is big. If something is smart and not big then it is rough.
Harry is smart.