the extrospectiveness does not occur.
sent1: the extrospectiveness does not occur if the checkmating semaphore occurs. sent2: if the flogging does not occur the checkmating semaphore and the mucinousness happens. sent3: if the uterineness does not occur then the deducing gayfeather does not occur and the delicateness happens. sent4: the mucinousness happens. sent5: the celioscopy happens if the deducing gayfeather does not occur. sent6: the permuting percentile does not occur and the sublimation does not occur. sent7: the checkmating semaphore does not occur. sent8: the fact that the flogging does not occur and the yoga does not occur is wrong. sent9: the deducing strictness occurs. sent10: the fact that the classification happens is not incorrect. sent11: the dealing but not the flogging occurs if the offertory happens. sent12: the mucinousness is prevented by that the deal but not the flogging happens. sent13: the flogging does not occur if that the flogging but not the dealing happens is false. sent14: the delicateness happens. sent15: the offertory occurs if the celioscopy happens. sent16: the artillery does not occur. sent17: the checkmating gee-gee does not occur and the set-to does not occur if the checkmating semaphore occurs. sent18: if the mucinousness occurs the fact that the checkmating semaphore does not occur and the extrospectiveness does not occur is not right. sent19: if the offertory happens then the fact that the flogging but not the dealing occurs is not correct.
void -> assump1: Let's assume that the fact that the extrospectiveness does not occur is not incorrect.; sent7 & assump1 -> int1: the checkmating semaphore does not occur and the extrospectiveness does not occur.; sent18 & sent4 -> int2: that the checkmating semaphore does not occur and the extrospectiveness does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the checkmating gee-gee does not occur and the set-to does not occur.
$hypothesis$ = the extrospectiveness does not occur. ; $context$ = sent1: the extrospectiveness does not occur if the checkmating semaphore occurs. sent2: if the flogging does not occur the checkmating semaphore and the mucinousness happens. sent3: if the uterineness does not occur then the deducing gayfeather does not occur and the delicateness happens. sent4: the mucinousness happens. sent5: the celioscopy happens if the deducing gayfeather does not occur. sent6: the permuting percentile does not occur and the sublimation does not occur. sent7: the checkmating semaphore does not occur. sent8: the fact that the flogging does not occur and the yoga does not occur is wrong. sent9: the deducing strictness occurs. sent10: the fact that the classification happens is not incorrect. sent11: the dealing but not the flogging occurs if the offertory happens. sent12: the mucinousness is prevented by that the deal but not the flogging happens. sent13: the flogging does not occur if that the flogging but not the dealing happens is false. sent14: the delicateness happens. sent15: the offertory occurs if the celioscopy happens. sent16: the artillery does not occur. sent17: the checkmating gee-gee does not occur and the set-to does not occur if the checkmating semaphore occurs. sent18: if the mucinousness occurs the fact that the checkmating semaphore does not occur and the extrospectiveness does not occur is not right. sent19: if the offertory happens then the fact that the flogging but not the dealing occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the extrospectiveness does not occur is not incorrect.; sent7 & assump1 -> int1: the checkmating semaphore does not occur and the extrospectiveness does not occur.; sent18 & sent4 -> int2: that the checkmating semaphore does not occur and the extrospectiveness does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__