the sonography occurs.
sent1: the sonography occurs if the remaindering Nimitz does not occur. sent2: the fractionation does not occur and/or the eulogizing rosebud does not occur if the commandership does not occur. sent3: the abranchiateness does not occur. sent4: the fact that both the stifling genocide and the abranchiateness happens is wrong if the enormity does not occur. sent5: the commandership does not occur if either the eulogizing interoception does not occur or the eulogizing Scomber happens or both. sent6: the agraphicness happens or the eulogizing harp does not occur or both. sent7: if the remaindering maser happens then the chastity occurs but the electromagneticness does not occur. sent8: the enormity does not occur if that the enormity happens and the Requiem occurs is not true. sent9: that the eulogizing inaction happens and/or that the remaindering Nimitz does not occur is brought about by the non-abranchiateness. sent10: if the eulogizing Nimitz does not occur then that the enormity and the Requiem happens is false. sent11: the sonography happens if the eulogizing inaction occurs. sent12: the eulogizing interoception does not occur if the chastity but not the electromagneticness happens.
sent9 & sent3 -> int1: the fact that either the eulogizing inaction occurs or the remaindering Nimitz does not occur or both hold.; int1 & sent11 & sent1 -> hypothesis;
the sonography does not occur.
$hypothesis$ = the sonography occurs. ; $context$ = sent1: the sonography occurs if the remaindering Nimitz does not occur. sent2: the fractionation does not occur and/or the eulogizing rosebud does not occur if the commandership does not occur. sent3: the abranchiateness does not occur. sent4: the fact that both the stifling genocide and the abranchiateness happens is wrong if the enormity does not occur. sent5: the commandership does not occur if either the eulogizing interoception does not occur or the eulogizing Scomber happens or both. sent6: the agraphicness happens or the eulogizing harp does not occur or both. sent7: if the remaindering maser happens then the chastity occurs but the electromagneticness does not occur. sent8: the enormity does not occur if that the enormity happens and the Requiem occurs is not true. sent9: that the eulogizing inaction happens and/or that the remaindering Nimitz does not occur is brought about by the non-abranchiateness. sent10: if the eulogizing Nimitz does not occur then that the enormity and the Requiem happens is false. sent11: the sonography happens if the eulogizing inaction occurs. sent12: the eulogizing interoception does not occur if the chastity but not the electromagneticness happens. ; $proof$ = 
sent9 & sent3 -> int1: the fact that either the eulogizing inaction occurs or the remaindering Nimitz does not occur or both hold.; int1 & sent11 & sent1 -> hypothesis; __PROVED__