She divorced him while he was gone.
He didn't know she had filed for divorce until he returned.
mnli hypothesis: He didn't know she had filed for divorce until he returned. premise: She divorced him while he was gone.