Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is not red. Anne is smart. Anne is young. Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is not young. If something is red and not big then it is young. If something is big then it is quiet. If something is not smart then it is young.
Bob is not kind.