that the harpoon is ungrammatical and arteriosclerotic is wrong.
sent1: something is a kind of a harpoon and/or it does not act abundance if it is not hairless. sent2: if something is a kind of a harpoon then it does not chatter. sent3: if that the alligator is both a chatter and not a harpoon is incorrect then it acts abundance. sent4: the alligator is not a chatter. sent5: if that something is not a kind of a sweatshirt but it is hairless is not right it does regale. sent6: the harpoon is arteriosclerotic if the curbstone is tabular. sent7: that the curbstone is not a kind of a sweatshirt but it is hairless is not correct if the alligator does act abundance. sent8: that the harpoon regales and is not a kind of a sweatshirt does not hold. sent9: the harpoon is a kind of ungrammatical thing that bends hydrocele if it does not reflect. sent10: that something is not grammatical and it is arteriosclerotic is wrong if it does not chatter. sent11: the harpoon does not reflect. sent12: if the curbstone regales it is tabular.
void -> assump1: Let's assume that the alligator is a chatter but it is not a harpoon.; assump1 -> int1: the alligator chatters.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the alligator is a chatter that is not a harpoon is not correct.; int3 & sent3 -> int4: the alligator acts abundance.; int4 & sent7 -> int5: the fact that the curbstone is not a sweatshirt but it is hairless is not right.; sent5 -> int6: the curbstone regales if that it is not a sweatshirt and it is hairless is not correct.; int5 & int6 -> int7: the curbstone does regale.; int7 & sent12 -> int8: the fact that the curbstone is tabular hold.; int8 & sent6 -> int9: the fact that the harpoon is arteriosclerotic is true.; sent9 & sent11 -> int10: the harpoon is ungrammatical and bends hydrocele.; int10 -> int11: the harpoon is ungrammatical.; int9 & int11 -> hypothesis;
that that the harpoon is ungrammatical and it is arteriosclerotic is not wrong is incorrect.
sent10 -> int12: if the harpoon is not a kind of a chatter then that it is a kind of ungrammatical thing that is arteriosclerotic is incorrect.; sent1 -> int13: if the harpoon is not hairless it is a harpoon and/or does not act abundance.; sent2 -> int14: the harpoon does not chatter if it does harpoon.;
$hypothesis$ = that the harpoon is ungrammatical and arteriosclerotic is wrong. ; $context$ = sent1: something is a kind of a harpoon and/or it does not act abundance if it is not hairless. sent2: if something is a kind of a harpoon then it does not chatter. sent3: if that the alligator is both a chatter and not a harpoon is incorrect then it acts abundance. sent4: the alligator is not a chatter. sent5: if that something is not a kind of a sweatshirt but it is hairless is not right it does regale. sent6: the harpoon is arteriosclerotic if the curbstone is tabular. sent7: that the curbstone is not a kind of a sweatshirt but it is hairless is not correct if the alligator does act abundance. sent8: that the harpoon regales and is not a kind of a sweatshirt does not hold. sent9: the harpoon is a kind of ungrammatical thing that bends hydrocele if it does not reflect. sent10: that something is not grammatical and it is arteriosclerotic is wrong if it does not chatter. sent11: the harpoon does not reflect. sent12: if the curbstone regales it is tabular. ; $proof$ = 
void -> assump1: Let's assume that the alligator is a chatter but it is not a harpoon.; assump1 -> int1: the alligator chatters.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the alligator is a chatter that is not a harpoon is not correct.; int3 & sent3 -> int4: the alligator acts abundance.; int4 & sent7 -> int5: the fact that the curbstone is not a sweatshirt but it is hairless is not right.; sent5 -> int6: the curbstone regales if that it is not a sweatshirt and it is hairless is not correct.; int5 & int6 -> int7: the curbstone does regale.; int7 & sent12 -> int8: the fact that the curbstone is tabular hold.; int8 & sent6 -> int9: the fact that the harpoon is arteriosclerotic is true.; sent9 & sent11 -> int10: the harpoon is ungrammatical and bends hydrocele.; int10 -> int11: the harpoon is ungrammatical.; int9 & int11 -> hypothesis; __DISPROVED__