the Bromo-seltzer does hone overproduction.
sent1: the crossing is not an applicant if there exists something such that either it does not outgrow Echium or it is not a kind of an applicant or both. sent2: if something is not immunochemical and it does not toss Bessera then it is not a accountantship. sent3: the antiarrhythmic either does not outgrow Echium or is not an applicant or both if the peridinian tosses syncopation. sent4: the peridinian is not non-Attic and it outgrows contrary. sent5: if something does not acquit and is a kind of a accountantship then it is immunochemical. sent6: the crossing does toss Bromo-seltzer. sent7: if something is a squirrelfish then it tosses syncopation. sent8: the Thessalian is a accountantship. sent9: that the Bromo-seltzer does not hone overproduction if the Thessalian tosses Bessera and is immunochemical is correct. sent10: the crossing is not large-capitalization. sent11: that the Bromo-seltzer tosses Bessera hold. sent12: the oystercatcher does acquit. sent13: something that does outgrow contrary is a squirrelfish. sent14: if the Bromo-seltzer does not acquit and hones overproduction it is a accountantship. sent15: the Thessalian either is large-capitalization or does not acquit or both if the crossing is not a kind of a accountantship. sent16: The Bessera tosses Thessalian. sent17: something is not immunochemical and does not toss Bessera if that it is not an applicant hold. sent18: if the crossing is a accountantship the Thessalian is large-capitalization. sent19: the Thessalian tosses Bessera. sent20: the crossing is large-capitalization if the Thessalian does acquit.
void -> assump1: Let's assume that the Thessalian does acquit.; sent20 & assump1 -> int1: the crossing is large-capitalization.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Thessalian does not acquit.; int3 & sent8 -> int4: the Thessalian does not acquit but it is a accountantship.; sent5 -> int5: if the Thessalian does not acquit and is a kind of a accountantship it is immunochemical.; int4 & int5 -> int6: the fact that the Thessalian is immunochemical is not incorrect.; int6 & sent19 -> int7: the Thessalian tosses Bessera and it is not non-immunochemical.; int7 & sent9 -> hypothesis;
the Bromo-seltzer does hone overproduction.
sent2 -> int8: the crossing is not a accountantship if it is not immunochemical and does not toss Bessera.; sent17 -> int9: if the crossing is not an applicant it is not immunochemical and it does not toss Bessera.; sent7 -> int10: that the peridinian does not toss syncopation does not hold if it is a kind of a squirrelfish.; sent13 -> int11: if the fact that the peridinian outgrows contrary is correct then it is a kind of a squirrelfish.; sent4 -> int12: the peridinian outgrows contrary.; int11 & int12 -> int13: the peridinian is a squirrelfish.; int10 & int13 -> int14: the peridinian does toss syncopation.; sent3 & int14 -> int15: the antiarrhythmic does not outgrow Echium and/or it is not a kind of an applicant.; int15 -> int16: something does not outgrow Echium and/or is not a kind of an applicant.; int16 & sent1 -> int17: the crossing is not an applicant.; int9 & int17 -> int18: the crossing is not immunochemical and it does not toss Bessera.; int8 & int18 -> int19: that the crossing is not a accountantship is not incorrect.; sent15 & int19 -> int20: the Thessalian is large-capitalization or it does not acquit or both.; int20 -> int21: there exists something such that it is large-capitalization or it does not acquit or both.;
$hypothesis$ = the Bromo-seltzer does hone overproduction. ; $context$ = sent1: the crossing is not an applicant if there exists something such that either it does not outgrow Echium or it is not a kind of an applicant or both. sent2: if something is not immunochemical and it does not toss Bessera then it is not a accountantship. sent3: the antiarrhythmic either does not outgrow Echium or is not an applicant or both if the peridinian tosses syncopation. sent4: the peridinian is not non-Attic and it outgrows contrary. sent5: if something does not acquit and is a kind of a accountantship then it is immunochemical. sent6: the crossing does toss Bromo-seltzer. sent7: if something is a squirrelfish then it tosses syncopation. sent8: the Thessalian is a accountantship. sent9: that the Bromo-seltzer does not hone overproduction if the Thessalian tosses Bessera and is immunochemical is correct. sent10: the crossing is not large-capitalization. sent11: that the Bromo-seltzer tosses Bessera hold. sent12: the oystercatcher does acquit. sent13: something that does outgrow contrary is a squirrelfish. sent14: if the Bromo-seltzer does not acquit and hones overproduction it is a accountantship. sent15: the Thessalian either is large-capitalization or does not acquit or both if the crossing is not a kind of a accountantship. sent16: The Bessera tosses Thessalian. sent17: something is not immunochemical and does not toss Bessera if that it is not an applicant hold. sent18: if the crossing is a accountantship the Thessalian is large-capitalization. sent19: the Thessalian tosses Bessera. sent20: the crossing is large-capitalization if the Thessalian does acquit. ; $proof$ = 
void -> assump1: Let's assume that the Thessalian does acquit.; sent20 & assump1 -> int1: the crossing is large-capitalization.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Thessalian does not acquit.; int3 & sent8 -> int4: the Thessalian does not acquit but it is a accountantship.; sent5 -> int5: if the Thessalian does not acquit and is a kind of a accountantship it is immunochemical.; int4 & int5 -> int6: the fact that the Thessalian is immunochemical is not incorrect.; int6 & sent19 -> int7: the Thessalian tosses Bessera and it is not non-immunochemical.; int7 & sent9 -> hypothesis; __DISPROVED__