Anne is not big. Anne is blue. Anne is furry. Anne is not kind. Anne is round. Anne is smart. Bob is blue. Bob is kind. Bob is red. Harry is blue. Harry is furry. Harry is smart. If something is kind and big then it is smart. If something is big then it is smart. If something is big and not blue then it is smart. If something is not kind and not blue then it is red. If Anne is kind then Anne is not big. All smart, kind things are big.
Anne is not red.