the pumice is not a kind of a button.
sent1: something does button if it is a kind of a barrator. sent2: if the corchorus is indigestible then it is not a button. sent3: if the furfural is indigestible that the corchorus pegs bluethroat but it does not butt-weld is wrong. sent4: if something is a kind of a ameba then it does reward saltcellar. sent5: if something is not a Shepard then it does not reward saltcellar and it is a ameba. sent6: if the corchorus is a kind of an optimism then the pumice is a barrator. sent7: the corchorus either is a Shepard or does reward saltcellar or both. sent8: the corchorus does peg bluethroat if it is not a kind of a ameba. sent9: the furfural is indigestible. sent10: the corchorus pegs bluethroat and is not a butt-welding if it is not a ameba. sent11: if the corchorus does not reward saltcellar the windage reward saltcellar. sent12: something does button if it does not peg bluethroat. sent13: if either something is not a kind of a Shepard or it does reward saltcellar or both then it is a kind of an optimism. sent14: if something does not button that it is a kind of an optimism and it is not a kind of a barrator is wrong. sent15: the pumice is a button if it does butt-weld. sent16: if the somniloquist is not unactable it is inefficacious and is not a kind of a operon.
void -> assump1: Let's assume that the corchorus is not a ameba.; sent10 & assump1 -> int1: the corchorus does peg bluethroat and is not a butt-welding.; sent3 & sent9 -> int2: that that the corchorus does peg bluethroat but it is not a butt-welding is false is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the corchorus is a kind of a ameba.; sent4 -> int5: the corchorus rewards saltcellar if it is a kind of a ameba.; int4 & int5 -> int6: the corchorus does reward saltcellar.; int6 -> int7: the corchorus is not a Shepard or it does reward saltcellar or both.; sent13 -> int8: that the corchorus is an optimism is not false if it is not a kind of a Shepard and/or it rewards saltcellar.; int7 & int8 -> int9: the corchorus is an optimism.; int9 & sent6 -> int10: the pumice is a kind of a barrator.; sent1 -> int11: if the pumice is a kind of a barrator then it is a kind of a button.; int10 & int11 -> hypothesis;
the windage does reward saltcellar.
sent5 -> int12: if the corchorus is not a Shepard it does not reward saltcellar and is a ameba.; sent14 -> int13: if the corchorus is not a button then the fact that it is an optimism and is not a barrator is incorrect.;
$hypothesis$ = the pumice is not a kind of a button. ; $context$ = sent1: something does button if it is a kind of a barrator. sent2: if the corchorus is indigestible then it is not a button. sent3: if the furfural is indigestible that the corchorus pegs bluethroat but it does not butt-weld is wrong. sent4: if something is a kind of a ameba then it does reward saltcellar. sent5: if something is not a Shepard then it does not reward saltcellar and it is a ameba. sent6: if the corchorus is a kind of an optimism then the pumice is a barrator. sent7: the corchorus either is a Shepard or does reward saltcellar or both. sent8: the corchorus does peg bluethroat if it is not a kind of a ameba. sent9: the furfural is indigestible. sent10: the corchorus pegs bluethroat and is not a butt-welding if it is not a ameba. sent11: if the corchorus does not reward saltcellar the windage reward saltcellar. sent12: something does button if it does not peg bluethroat. sent13: if either something is not a kind of a Shepard or it does reward saltcellar or both then it is a kind of an optimism. sent14: if something does not button that it is a kind of an optimism and it is not a kind of a barrator is wrong. sent15: the pumice is a button if it does butt-weld. sent16: if the somniloquist is not unactable it is inefficacious and is not a kind of a operon. ; $proof$ = 
void -> assump1: Let's assume that the corchorus is not a ameba.; sent10 & assump1 -> int1: the corchorus does peg bluethroat and is not a butt-welding.; sent3 & sent9 -> int2: that that the corchorus does peg bluethroat but it is not a butt-welding is false is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the corchorus is a kind of a ameba.; sent4 -> int5: the corchorus rewards saltcellar if it is a kind of a ameba.; int4 & int5 -> int6: the corchorus does reward saltcellar.; int6 -> int7: the corchorus is not a Shepard or it does reward saltcellar or both.; sent13 -> int8: that the corchorus is an optimism is not false if it is not a kind of a Shepard and/or it rewards saltcellar.; int7 & int8 -> int9: the corchorus is an optimism.; int9 & sent6 -> int10: the pumice is a kind of a barrator.; sent1 -> int11: if the pumice is a kind of a barrator then it is a kind of a button.; int10 & int11 -> hypothesis; __DISPROVED__