the fact that the SOB is dramatics and is piratical does not hold.
sent1: the mullion does not measure investment if the appendix is a hyperlink. sent2: the SOB is piratical. sent3: that the mullion does measure investment hold. sent4: That the investment does measure mullion hold. sent5: if the hornpout is able then it does deposit Shoshone. sent6: if the fact that the appendix is not callithumpian is right it deposits Shoshone. sent7: if the SOB is callithumpian it is dramatics. sent8: if the mullion is not callithumpian or it is a hyperlink or both the appendix is not dramatics. sent9: something is a hyperlink but it is not callithumpian if it does measure investment. sent10: the mullion is dramatics. sent11: the mullion is not a Merckx. sent12: if something that is a hyperlink is not callithumpian then it does not deposit unfamiliarity. sent13: the SOB is dramatics if it is immunocompetent. sent14: the mullion does not measure investment if the appendix is either callithumpian or a hyperlink or both. sent15: if the appendix does deposit Shoshone then the SOB is immunocompetent.
void -> assump1: Let's assume that the appendix is callithumpian.; assump1 -> int1: the appendix is callithumpian and/or it is a hyperlink.; int1 & sent14 -> int2: the mullion does not measure investment.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the appendix is not callithumpian.; int4 & sent6 -> int5: the appendix deposits Shoshone.; int5 & sent15 -> int6: the SOB is immunocompetent.; int6 & sent13 -> int7: the SOB is dramatics.; int7 & sent2 -> hypothesis;
the SOB does not deposit unfamiliarity.
sent12 -> int8: the SOB does not deposit unfamiliarity if it is a hyperlink and is non-callithumpian.; sent9 -> int9: the appendix is a hyperlink and is not callithumpian if it measures investment.;
$hypothesis$ = the fact that the SOB is dramatics and is piratical does not hold. ; $context$ = sent1: the mullion does not measure investment if the appendix is a hyperlink. sent2: the SOB is piratical. sent3: that the mullion does measure investment hold. sent4: That the investment does measure mullion hold. sent5: if the hornpout is able then it does deposit Shoshone. sent6: if the fact that the appendix is not callithumpian is right it deposits Shoshone. sent7: if the SOB is callithumpian it is dramatics. sent8: if the mullion is not callithumpian or it is a hyperlink or both the appendix is not dramatics. sent9: something is a hyperlink but it is not callithumpian if it does measure investment. sent10: the mullion is dramatics. sent11: the mullion is not a Merckx. sent12: if something that is a hyperlink is not callithumpian then it does not deposit unfamiliarity. sent13: the SOB is dramatics if it is immunocompetent. sent14: the mullion does not measure investment if the appendix is either callithumpian or a hyperlink or both. sent15: if the appendix does deposit Shoshone then the SOB is immunocompetent. ; $proof$ = 
void -> assump1: Let's assume that the appendix is callithumpian.; assump1 -> int1: the appendix is callithumpian and/or it is a hyperlink.; int1 & sent14 -> int2: the mullion does not measure investment.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the appendix is not callithumpian.; int4 & sent6 -> int5: the appendix deposits Shoshone.; int5 & sent15 -> int6: the SOB is immunocompetent.; int6 & sent13 -> int7: the SOB is dramatics.; int7 & sent2 -> hypothesis; __DISPROVED__