that the transom is a kind of Mormon thing that is nonretractile does not hold.
sent1: that the cowtown is a Uzbekistan is not wrong if it scatters. sent2: the reader is a kind of a purl and it is a impishness. sent3: the transom is vicennial if it is a crust. sent4: if the transom is not a filet it is ergotic. sent5: if the transom is not non-Venezuelan then it is a Uzbekistan. sent6: the fact that the transom does not Frenchify sheik is right. sent7: the transom is nonretractile. sent8: the coax is a kind of a Uzbekistan if that it is effortless hold. sent9: the transom is not a Uzbekistan. sent10: the transom is a Mormon if it is ovoviviparous. sent11: the transom is Venezuelan if it is a kind of a impishness. sent12: the transom is a impishness if it is not ovoviviparous.
void -> assump1: Let's assume that the transom is not ovoviviparous.; sent12 & assump1 -> int1: the transom is a impishness.; int1 & sent11 -> int2: the transom is Venezuelan.; int2 & sent5 -> int3: the transom is a Uzbekistan.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the transom is ovoviviparous.; int5 & sent10 -> int6: the transom is a kind of a Mormon.; int6 & sent7 -> hypothesis;
$hypothesis$ = that the transom is a kind of Mormon thing that is nonretractile does not hold. ; $context$ = sent1: that the cowtown is a Uzbekistan is not wrong if it scatters. sent2: the reader is a kind of a purl and it is a impishness. sent3: the transom is vicennial if it is a crust. sent4: if the transom is not a filet it is ergotic. sent5: if the transom is not non-Venezuelan then it is a Uzbekistan. sent6: the fact that the transom does not Frenchify sheik is right. sent7: the transom is nonretractile. sent8: the coax is a kind of a Uzbekistan if that it is effortless hold. sent9: the transom is not a Uzbekistan. sent10: the transom is a Mormon if it is ovoviviparous. sent11: the transom is Venezuelan if it is a kind of a impishness. sent12: the transom is a impishness if it is not ovoviviparous. ; $proof$ = 
void -> assump1: Let's assume that the transom is not ovoviviparous.; sent12 & assump1 -> int1: the transom is a impishness.; int1 & sent11 -> int2: the transom is Venezuelan.; int2 & sent5 -> int3: the transom is a Uzbekistan.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the transom is ovoviviparous.; int5 & sent10 -> int6: the transom is a kind of a Mormon.; int6 & sent7 -> hypothesis; __DISPROVED__