Anne is red. Bob is big. Charlie is not blue. Harry is not big. Harry is furry. Harry is nice. Harry is red. If something is big then it is furry. If something is cold then it is rough. If something is cold and not nice then it is blue. If something is furry and blue then it is cold. All furry things are blue. All blue, rough things are red. If something is not cold then it is not rough. If something is blue and not cold then it is red. If something is big and not cold then it is red.
Anne is furry.