that the cryocautery is a Kepler and it does bestrew pyrography does not hold.
sent1: the amphibian is non-Athenian. sent2: something is a barbershop and/or does broom shellfish if it is not a Slovenian. sent3: the amphibian is not a barbershop if it is not irremediable. sent4: everything brooms shellfish and is a barbershop. sent5: the amphibian does not circumscribe Saigon and does cushion. sent6: the cryocautery is a barbershop if the amphibian brooms shellfish. sent7: if the fact that the amphibian is irremediable and does not encrimson sidesman is wrong it is not a barbershop. sent8: the cryocautery does not undercharge and does encrimson jabberwocky. sent9: the fact that something is a Kepler and does bestrew pyrography is not right if it does not encrimson sidesman. sent10: that the fact that the gammon is a Kepler and a Hazlitt does not hold is not wrong. sent11: if the fact that something is inconclusive thing that does not encrimson sidesman is incorrect then it is not a kind of a supertwister. sent12: everything is a child. sent13: the amphibian does not bestrew pyrography if it is not Athenian and does galvanize. sent14: if the amphibian does not bestrew pyrography then the cryocautery is a Kepler and bestrew pyrography. sent15: everything is a billion. sent16: if the cryocautery brooms shellfish then it bestrews pyrography. sent17: the cryocautery is a barbershop if the amphibian is a barbershop. sent18: if the fact that the amphibian brooms Doha is correct the fact that it is irremediable and it does not encrimson sidesman is wrong. sent19: the fact that the cryocautery galvanizes and it bestrews pyrography is wrong. sent20: the amphibian is not a kind of a Slovenian if there is something such that the fact that it is a Slovenian and not a Lobotidae is false. sent21: if something does not broom Tartu but it is a kind of a shipworm then the fact that it does not broom shellfish is right. sent22: the Tokay does not galvanize but it does bestrew paca. sent23: the amphibian brooms Doha if that it is a kind of non-Athenian thing that does galvanize is wrong. sent24: the cowbell does not circumscribe Tay but it is a barbershop. sent25: the cryocautery is a ciliate that does encrimson Lophophora. sent26: if that something is a child is correct that that it is a kind of a Slovenian and it is not a Lobotidae is correct is not right.
void -> assump1: Let's assume that that the amphibian is not a Athenian but it does galvanize is not true.; sent23 & assump1 -> int1: the amphibian does broom Doha.; int1 & sent18 -> int2: that the amphibian is irremediable but it does not encrimson sidesman is wrong.; int2 & sent7 -> int3: the amphibian is not a barbershop.; sent4 -> int4: the amphibian does broom shellfish and it is a kind of a barbershop.; int4 -> int5: the amphibian is a barbershop.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the amphibian is not a Athenian and galvanizes.; int7 & sent13 -> int8: that the amphibian does not bestrew pyrography is right.; int8 & sent14 -> hypothesis;
the fact that the cryocautery is a Kepler and it does bestrew pyrography is not true.
sent9 -> int9: the fact that the cryocautery is a kind of a Kepler that bestrews pyrography does not hold if it does not encrimson sidesman.; sent26 -> int10: that the fact that the globulin is a kind of a Slovenian and is not a kind of a Lobotidae is wrong is not wrong if it is a kind of a child.; sent12 -> int11: that the globulin is a child is right.; int10 & int11 -> int12: the fact that the globulin is a Slovenian but it is not a Lobotidae is incorrect.; int12 -> int13: there exists nothing such that it is a Slovenian and is not a kind of a Lobotidae.; int13 -> int14: that the pomologist is Slovenian and not a Lobotidae is not true.; int14 -> int15: there is something such that that it is a kind of a Slovenian and it is not a kind of a Lobotidae is wrong.; sent20 & int15 -> int16: the amphibian is not Slovenian.; sent2 -> int17: the amphibian is a barbershop and/or brooms shellfish if that it is not a kind of a Slovenian is correct.; int16 & int17 -> int18: the amphibian is a barbershop or it does broom shellfish or both.; sent6 & sent17 & int18 -> int19: the cryocautery is a kind of a barbershop.;
$hypothesis$ = that the cryocautery is a Kepler and it does bestrew pyrography does not hold. ; $context$ = sent1: the amphibian is non-Athenian. sent2: something is a barbershop and/or does broom shellfish if it is not a Slovenian. sent3: the amphibian is not a barbershop if it is not irremediable. sent4: everything brooms shellfish and is a barbershop. sent5: the amphibian does not circumscribe Saigon and does cushion. sent6: the cryocautery is a barbershop if the amphibian brooms shellfish. sent7: if the fact that the amphibian is irremediable and does not encrimson sidesman is wrong it is not a barbershop. sent8: the cryocautery does not undercharge and does encrimson jabberwocky. sent9: the fact that something is a Kepler and does bestrew pyrography is not right if it does not encrimson sidesman. sent10: that the fact that the gammon is a Kepler and a Hazlitt does not hold is not wrong. sent11: if the fact that something is inconclusive thing that does not encrimson sidesman is incorrect then it is not a kind of a supertwister. sent12: everything is a child. sent13: the amphibian does not bestrew pyrography if it is not Athenian and does galvanize. sent14: if the amphibian does not bestrew pyrography then the cryocautery is a Kepler and bestrew pyrography. sent15: everything is a billion. sent16: if the cryocautery brooms shellfish then it bestrews pyrography. sent17: the cryocautery is a barbershop if the amphibian is a barbershop. sent18: if the fact that the amphibian brooms Doha is correct the fact that it is irremediable and it does not encrimson sidesman is wrong. sent19: the fact that the cryocautery galvanizes and it bestrews pyrography is wrong. sent20: the amphibian is not a kind of a Slovenian if there is something such that the fact that it is a Slovenian and not a Lobotidae is false. sent21: if something does not broom Tartu but it is a kind of a shipworm then the fact that it does not broom shellfish is right. sent22: the Tokay does not galvanize but it does bestrew paca. sent23: the amphibian brooms Doha if that it is a kind of non-Athenian thing that does galvanize is wrong. sent24: the cowbell does not circumscribe Tay but it is a barbershop. sent25: the cryocautery is a ciliate that does encrimson Lophophora. sent26: if that something is a child is correct that that it is a kind of a Slovenian and it is not a Lobotidae is correct is not right. ; $proof$ = 
void -> assump1: Let's assume that that the amphibian is not a Athenian but it does galvanize is not true.; sent23 & assump1 -> int1: the amphibian does broom Doha.; int1 & sent18 -> int2: that the amphibian is irremediable but it does not encrimson sidesman is wrong.; int2 & sent7 -> int3: the amphibian is not a barbershop.; sent4 -> int4: the amphibian does broom shellfish and it is a kind of a barbershop.; int4 -> int5: the amphibian is a barbershop.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the amphibian is not a Athenian and galvanizes.; int7 & sent13 -> int8: that the amphibian does not bestrew pyrography is right.; int8 & sent14 -> hypothesis; __DISPROVED__