that if the amateur is a hansom then the gypsum does cover googol is wrong.
sent1: the amateur does caucus armband. sent2: if the perigon is not a squelch and does cover googol then the nitroglycerin is a hansom. sent3: there is something such that it does not caucus armband and covers googol. sent4: something covers hell if it is a hansom. sent5: there exists something such that the fact that it is a Goldsmith and it is not a kind of a slash does not hold. sent6: the fact that the Maratha is a kind of non-acinar thing that does squelch does not hold if the perigon is phreatic. sent7: the sulfanilamide does not cover googol if there exists something such that the fact that it is not acinar and it is a squelch is false. sent8: the amateur is a hansom and it is phreatic. sent9: if the amateur is a kind of a hansom the perigon is phreatic. sent10: if that the gypsum squelches is not incorrect the fact that the Maratha does not caucus armband and is acinar is not correct. sent11: if the fact that the perigon caucuses armband is not false the gypsum is phreatic. sent12: something is not a squelch but it does cover googol if it is not a Goldsmith. sent13: the gypsum does cover googol and it caucuses armband if the sulfanilamide does not cover googol. sent14: the gypsum does caucus armband. sent15: the sulfanilamide does not cover googol if something is not a squelch.
void -> assump1: Let's assume that the fact that the amateur is a hansom is true.; sent9 & assump1 -> int1: the perigon is phreatic.; sent6 & int1 -> int2: that the Maratha is not acinar but it squelches does not hold.; int2 -> int3: there is something such that the fact that it is both not acinar and a squelch is not correct.; int3 & sent7 -> int4: the sulfanilamide does not cover googol.; sent13 & int4 -> int5: the gypsum does cover googol and it caucuses armband.; int5 -> int6: the gypsum covers googol.; [assump1] & int6 -> hypothesis;
the nitroglycerin does cover hell and it is phreatic.
sent4 -> int7: if the nitroglycerin is a hansom it covers hell.; sent12 -> int8: the perigon is not a squelch and does cover googol if it is not a Goldsmith.;
$hypothesis$ = that if the amateur is a hansom then the gypsum does cover googol is wrong. ; $context$ = sent1: the amateur does caucus armband. sent2: if the perigon is not a squelch and does cover googol then the nitroglycerin is a hansom. sent3: there is something such that it does not caucus armband and covers googol. sent4: something covers hell if it is a hansom. sent5: there exists something such that the fact that it is a Goldsmith and it is not a kind of a slash does not hold. sent6: the fact that the Maratha is a kind of non-acinar thing that does squelch does not hold if the perigon is phreatic. sent7: the sulfanilamide does not cover googol if there exists something such that the fact that it is not acinar and it is a squelch is false. sent8: the amateur is a hansom and it is phreatic. sent9: if the amateur is a kind of a hansom the perigon is phreatic. sent10: if that the gypsum squelches is not incorrect the fact that the Maratha does not caucus armband and is acinar is not correct. sent11: if the fact that the perigon caucuses armband is not false the gypsum is phreatic. sent12: something is not a squelch but it does cover googol if it is not a Goldsmith. sent13: the gypsum does cover googol and it caucuses armband if the sulfanilamide does not cover googol. sent14: the gypsum does caucus armband. sent15: the sulfanilamide does not cover googol if something is not a squelch. ; $proof$ = 
void -> assump1: Let's assume that the fact that the amateur is a hansom is true.; sent9 & assump1 -> int1: the perigon is phreatic.; sent6 & int1 -> int2: that the Maratha is not acinar but it squelches does not hold.; int2 -> int3: there is something such that the fact that it is both not acinar and a squelch is not correct.; int3 & sent7 -> int4: the sulfanilamide does not cover googol.; sent13 & int4 -> int5: the gypsum does cover googol and it caucuses armband.; int5 -> int6: the gypsum covers googol.; [assump1] & int6 -> hypothesis; __DISPROVED__