the grinding is an exemplar.
sent1: the bantam is not basiscopic. sent2: the fact that the diplococcus is Senecan and is not mononuclear does not hold if the bantam does not debar dunker. sent3: something that desecrates bantam is not bibliopolic and does not untune adit. sent4: The adit does untune squelch. sent5: if the bantam is not basiscopic then the fact that it is not Markovian and it is not rhizoidal is not true. sent6: if the squelch is non-bibliopolic it is a nephoscope and/or is Lutheran. sent7: if there is something such that it is an exemplar then the grinding untunes adit. sent8: that the grinding does not desecrate bantam is not wrong if there exists something such that that it is a kind of an exemplar and it desecrate bantam is false. sent9: something does not debar dunker if that it is both not Markovian and not rhizoidal is false. sent10: the shelter is Lutheran. sent11: if something does debar alluvion and/or does untune adit then the squelch is camphoric. sent12: the bulgur is not a Becket if there is something such that that it is Senecan and it is not mononuclear is wrong. sent13: the fact that the antique is an exemplar and does desecrate bantam is false if there exists something such that it is not a kind of a Becket. sent14: the squelch is not a kind of a nephoscope or it is a Lutheran or both if it is not bibliopolic. sent15: if that the squelch is not righteous and/or it is a kind of a Lutheran is true it is not a slave-maker. sent16: something is not bibliopolic and/or it does untune adit if it does not desecrate bantam. sent17: that the squelch does overheat is correct if something is not bibliopolic or it does untune adit or both. sent18: either the squelch is a apercu or it is a nephoscope or both. sent19: if something is not a nephoscope and/or it is a kind of a Lutheran then it does not untune adit. sent20: if something is bibliopolic or it desecrates bantam or both then the grinding is an exemplar. sent21: if something does not untune adit or desecrates bantam or both it is not an exemplar. sent22: the squelch does untune adit.
void -> assump1: Let's assume that the squelch is not bibliopolic.; sent14 & assump1 -> int1: the squelch is not a nephoscope and/or it is a kind of a Lutheran.; sent19 -> int2: the squelch does not untune adit if it is not a nephoscope and/or it is not non-Lutheran.; int1 & int2 -> int3: the squelch does not untune adit.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squelch is bibliopolic.; int5 -> int6: the squelch is bibliopolic or it desecrates bantam or both.; int6 -> int7: there exists something such that the fact that either it is bibliopolic or it does desecrate bantam or both is not incorrect.; int7 & sent20 -> hypothesis;
something does overheat and/or it is undrinkable.
sent16 -> int8: if the grinding does not desecrate bantam it is non-bibliopolic and/or it untunes adit.; sent9 -> int9: if the fact that the bantam is not Markovian and not rhizoidal is not true then it does not debar dunker.; sent5 & sent1 -> int10: that that the bantam is not Markovian and it is not rhizoidal is not false is not right.; int9 & int10 -> int11: the bantam does not debar dunker.; sent2 & int11 -> int12: that the diplococcus is Senecan and is not mononuclear does not hold.; int12 -> int13: there exists something such that the fact that it is both Senecan and not mononuclear does not hold.; int13 & sent12 -> int14: the fact that the bulgur is not a Becket is not false.; int14 -> int15: there exists something such that that it is not a kind of a Becket is true.; int15 & sent13 -> int16: that the antique is an exemplar and it desecrates bantam is not correct.; int16 -> int17: there exists something such that that it is an exemplar and desecrates bantam is false.; int17 & sent8 -> int18: the grinding does not desecrate bantam.; int8 & int18 -> int19: the grinding is not bibliopolic or it does untune adit or both.; int19 -> int20: something is not bibliopolic and/or it untunes adit.; int20 & sent17 -> int21: the squelch does overheat.; int21 -> int22: the fact that either the squelch does overheat or it is undrinkable or both is not false.; int22 -> hypothesis;
$hypothesis$ = the grinding is an exemplar. ; $context$ = sent1: the bantam is not basiscopic. sent2: the fact that the diplococcus is Senecan and is not mononuclear does not hold if the bantam does not debar dunker. sent3: something that desecrates bantam is not bibliopolic and does not untune adit. sent4: The adit does untune squelch. sent5: if the bantam is not basiscopic then the fact that it is not Markovian and it is not rhizoidal is not true. sent6: if the squelch is non-bibliopolic it is a nephoscope and/or is Lutheran. sent7: if there is something such that it is an exemplar then the grinding untunes adit. sent8: that the grinding does not desecrate bantam is not wrong if there exists something such that that it is a kind of an exemplar and it desecrate bantam is false. sent9: something does not debar dunker if that it is both not Markovian and not rhizoidal is false. sent10: the shelter is Lutheran. sent11: if something does debar alluvion and/or does untune adit then the squelch is camphoric. sent12: the bulgur is not a Becket if there is something such that that it is Senecan and it is not mononuclear is wrong. sent13: the fact that the antique is an exemplar and does desecrate bantam is false if there exists something such that it is not a kind of a Becket. sent14: the squelch is not a kind of a nephoscope or it is a Lutheran or both if it is not bibliopolic. sent15: if that the squelch is not righteous and/or it is a kind of a Lutheran is true it is not a slave-maker. sent16: something is not bibliopolic and/or it does untune adit if it does not desecrate bantam. sent17: that the squelch does overheat is correct if something is not bibliopolic or it does untune adit or both. sent18: either the squelch is a apercu or it is a nephoscope or both. sent19: if something is not a nephoscope and/or it is a kind of a Lutheran then it does not untune adit. sent20: if something is bibliopolic or it desecrates bantam or both then the grinding is an exemplar. sent21: if something does not untune adit or desecrates bantam or both it is not an exemplar. sent22: the squelch does untune adit. ; $proof$ = 
void -> assump1: Let's assume that the squelch is not bibliopolic.; sent14 & assump1 -> int1: the squelch is not a nephoscope and/or it is a kind of a Lutheran.; sent19 -> int2: the squelch does not untune adit if it is not a nephoscope and/or it is not non-Lutheran.; int1 & int2 -> int3: the squelch does not untune adit.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> int5: the squelch is bibliopolic.; int5 -> int6: the squelch is bibliopolic or it desecrates bantam or both.; int6 -> int7: there exists something such that the fact that either it is bibliopolic or it does desecrate bantam or both is not incorrect.; int7 & sent20 -> hypothesis; __PROVED__