Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is young. Dave is green. Dave is kind. Dave is quiet. Dave is young. If Anne is young then Anne is big. If something is big and round then it is green. If something is not smart and not big then it is quiet. If Dave is not green then Dave is not big. If something is not big then it is not round. If something is not round and not quiet then it is not big.
Dave is not quiet.