that the fact that the stockjobber is not a kind of a leeward and it does not dab Milwaukee is false if the distaff is aposiopetic does not hold.
sent1: if the distaff is aposiopetic then the stockjobber is not a leeward and does not dab Milwaukee. sent2: if something is a kind of a Kakatoe then it does compromise radiotelephone. sent3: the stockjobber is not a leeward and it does not dab Milwaukee if there is something such that it compromises radiotelephone. sent4: if the distaff is not non-aposiopetic it is a Kakatoe. sent5: if there exists something such that it is a Kakatoe the fact that the distaff is a kind of non-leeward thing that does dab Milwaukee is not true. sent6: if something compromises radiotelephone then that the stockjobber is not a leeward and it does not dab Milwaukee is false.
void -> assump1: Let's assume that the distaff is aposiopetic.; sent4 & assump1 -> int1: the distaff is a kind of a Kakatoe.; sent2 -> int2: if the distaff is a Kakatoe it does compromise radiotelephone.; int1 & int2 -> int3: the fact that the distaff compromises radiotelephone hold.; int3 -> int4: there is something such that it does compromise radiotelephone.; int4 & sent6 -> int5: the fact that the stockjobber is not a kind of a leeward and it does not dab Milwaukee is wrong.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the fact that the stockjobber is not a kind of a leeward and it does not dab Milwaukee is false if the distaff is aposiopetic does not hold. ; $context$ = sent1: if the distaff is aposiopetic then the stockjobber is not a leeward and does not dab Milwaukee. sent2: if something is a kind of a Kakatoe then it does compromise radiotelephone. sent3: the stockjobber is not a leeward and it does not dab Milwaukee if there is something such that it compromises radiotelephone. sent4: if the distaff is not non-aposiopetic it is a Kakatoe. sent5: if there exists something such that it is a Kakatoe the fact that the distaff is a kind of non-leeward thing that does dab Milwaukee is not true. sent6: if something compromises radiotelephone then that the stockjobber is not a leeward and it does not dab Milwaukee is false. ; $proof$ = 
void -> assump1: Let's assume that the distaff is aposiopetic.; sent4 & assump1 -> int1: the distaff is a kind of a Kakatoe.; sent2 -> int2: if the distaff is a Kakatoe it does compromise radiotelephone.; int1 & int2 -> int3: the fact that the distaff compromises radiotelephone hold.; int3 -> int4: there is something such that it does compromise radiotelephone.; int4 & sent6 -> int5: the fact that the stockjobber is not a kind of a leeward and it does not dab Milwaukee is wrong.; [assump1] & int5 -> hypothesis; __DISPROVED__