that if the methadone is a kind of a morsel the glop is a Harvey is incorrect.
sent1: the glop is not corporate. sent2: the glop does not burp. sent3: something is not a kind of a Harvey and is not a bursa. sent4: there exists something such that it is not a butt-welding and it is corporate. sent5: the glop is a bursa. sent6: if that the Elastoplast is not a kind of a bursa and it is not a Harvey is false then the fact that it is not corporate hold. sent7: there exists something such that it is not a butt-welding. sent8: there is something such that it is not a bursa and it is not corporate. sent9: the Elastoplast is not a bursa if that it is corporate is right. sent10: the Elastoplast is not a Harvey if the glop does not butt-weld. sent11: if the methadone is not a kind of a Harvey the glop is not a morsel. sent12: the mihrab is not a kind of a bursa and it is not a morsel if the Elastoplast is non-factual. sent13: the methadone is a morsel if the Elastoplast is not a bursa. sent14: if something that is not a bursa is not a morsel it is not a Harvey. sent15: the Elastoplast is not a kind of a bursa if that it is not a butt-welding and it is not corporate is wrong. sent16: the Elastoplast is not corporate. sent17: there exists something such that that it is not corporate hold. sent18: there is something such that it butt-welds and is not corporate. sent19: if there exists something such that it is not a kind of a butt-welding and is not corporate then the glop is a Harvey. sent20: if the Elastoplast is not a bursa then the methadone is not a kind of a morsel. sent21: the fact that the Elastoplast is both not a butt-welding and corporate does not hold. sent22: that the methadone does not shelve and does not right Cotinus is not correct.
void -> assump1: Let's assume that the methadone is a morsel.; void -> assump2: Let's assume that the fact that the Elastoplast is both not a butt-welding and not corporate is not true.; sent15 & assump2 -> int1: the Elastoplast is not a bursa.; sent20 & int1 -> int2: the methadone is not a morsel.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Elastoplast is not a butt-welding and not corporate.; int4 -> int5: something is not a kind of a butt-welding and it is not corporate.; int5 & sent19 -> int6: the glop is a Harvey.; [assump1] & int6 -> hypothesis;
the mihrab is not a Harvey.
sent14 -> int7: the mihrab is not a Harvey if it is not a bursa and is not a morsel.;
$hypothesis$ = that if the methadone is a kind of a morsel the glop is a Harvey is incorrect. ; $context$ = sent1: the glop is not corporate. sent2: the glop does not burp. sent3: something is not a kind of a Harvey and is not a bursa. sent4: there exists something such that it is not a butt-welding and it is corporate. sent5: the glop is a bursa. sent6: if that the Elastoplast is not a kind of a bursa and it is not a Harvey is false then the fact that it is not corporate hold. sent7: there exists something such that it is not a butt-welding. sent8: there is something such that it is not a bursa and it is not corporate. sent9: the Elastoplast is not a bursa if that it is corporate is right. sent10: the Elastoplast is not a Harvey if the glop does not butt-weld. sent11: if the methadone is not a kind of a Harvey the glop is not a morsel. sent12: the mihrab is not a kind of a bursa and it is not a morsel if the Elastoplast is non-factual. sent13: the methadone is a morsel if the Elastoplast is not a bursa. sent14: if something that is not a bursa is not a morsel it is not a Harvey. sent15: the Elastoplast is not a kind of a bursa if that it is not a butt-welding and it is not corporate is wrong. sent16: the Elastoplast is not corporate. sent17: there exists something such that that it is not corporate hold. sent18: there is something such that it butt-welds and is not corporate. sent19: if there exists something such that it is not a kind of a butt-welding and is not corporate then the glop is a Harvey. sent20: if the Elastoplast is not a bursa then the methadone is not a kind of a morsel. sent21: the fact that the Elastoplast is both not a butt-welding and corporate does not hold. sent22: that the methadone does not shelve and does not right Cotinus is not correct. ; $proof$ = 
void -> assump1: Let's assume that the methadone is a morsel.; void -> assump2: Let's assume that the fact that the Elastoplast is both not a butt-welding and not corporate is not true.; sent15 & assump2 -> int1: the Elastoplast is not a bursa.; sent20 & int1 -> int2: the methadone is not a morsel.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Elastoplast is not a butt-welding and not corporate.; int4 -> int5: something is not a kind of a butt-welding and it is not corporate.; int5 & sent19 -> int6: the glop is a Harvey.; [assump1] & int6 -> hypothesis; __DISPROVED__