something winnows wheelbase.
sent1: if the mailbox is carbocyclic then that the polyandrist is a kind of a Shavian hold. sent2: if the verapamil is a mimeograph then it does bog schlock. sent3: if the verapamil bogs schlock then the divi-divi is a kind of a combat. sent4: the verapamil winnows verapamil if there is something such that the fact that it is not anticoagulative or does unpick paca or both does not hold. sent5: there exists something such that the fact that it is not anticoagulative or it unpicks paca or both is false. sent6: something that does winnow verapamil mimeographs. sent7: the dubbin winnows wheelbase if the polyandrist is a kind of a Shavian. sent8: the mailbox is carbocyclic if the divi-divi is a kind of a combat.
sent5 & sent4 -> int1: the verapamil does winnow verapamil.; sent6 -> int2: if the fact that the verapamil winnows verapamil hold then it mimeographs.; int1 & int2 -> int3: the verapamil is a mimeograph.; int3 & sent2 -> int4: the verapamil bogs schlock.; int4 & sent3 -> int5: the divi-divi is a kind of a combat.; int5 & sent8 -> int6: the mailbox is carbocyclic.; int6 & sent1 -> int7: the polyandrist is a kind of a Shavian.; int7 & sent7 -> int8: the dubbin does winnow wheelbase.; int8 -> hypothesis;
$hypothesis$ = something winnows wheelbase. ; $context$ = sent1: if the mailbox is carbocyclic then that the polyandrist is a kind of a Shavian hold. sent2: if the verapamil is a mimeograph then it does bog schlock. sent3: if the verapamil bogs schlock then the divi-divi is a kind of a combat. sent4: the verapamil winnows verapamil if there is something such that the fact that it is not anticoagulative or does unpick paca or both does not hold. sent5: there exists something such that the fact that it is not anticoagulative or it unpicks paca or both is false. sent6: something that does winnow verapamil mimeographs. sent7: the dubbin winnows wheelbase if the polyandrist is a kind of a Shavian. sent8: the mailbox is carbocyclic if the divi-divi is a kind of a combat. ; $proof$ = 
sent5 & sent4 -> int1: the verapamil does winnow verapamil.; sent6 -> int2: if the fact that the verapamil winnows verapamil hold then it mimeographs.; int1 & int2 -> int3: the verapamil is a mimeograph.; int3 & sent2 -> int4: the verapamil bogs schlock.; int4 & sent3 -> int5: the divi-divi is a kind of a combat.; int5 & sent8 -> int6: the mailbox is carbocyclic.; int6 & sent1 -> int7: the polyandrist is a kind of a Shavian.; int7 & sent7 -> int8: the dubbin does winnow wheelbase.; int8 -> hypothesis; __PROVED__