there exists something such that if it is a kind of a decimation then either it is not a nogging or it is weightless or both.
sent1: if the tyrocidine is a wit it is not a fan and/or it is a kind of a rearward. sent2: the gulping is not a saprolite and/or it assembles shear if it is not non-subarctic. sent3: if the fact that the gulping is a kind of a qurush is right then it is not a kind of a Neolentinus and/or is forgetful. sent4: there is something such that if it is mucinous that it is not a tawniness or is a kind of a heroic or both hold. sent5: either something is not punitive or it is illegitimate or both if it is a nogging. sent6: the gulping does not gorge juggernaut and/or it does refrain Actinidiaceae if it is a rhubarb. sent7: something is not holozoic or it is sonic or both if it is sociological. sent8: there exists something such that if it is auscultatory then it either is non-acetic or does refrain abashment or both. sent9: there exists something such that if it gorges myope then it is not subarctic and/or it does gorge debugger. sent10: the gulping is not a nogging or is not weighty or both if it is a decimation. sent11: the gulping is a kind of a nogging and/or it is weightless if it is a decimation. sent12: the gulping does not assemble Ismaili and/or it is a nogging if it assembles hurricane. sent13: that something either does not let or is isotopic or both is not incorrect if it is a kind of a nogging. sent14: the gulping is not a Maoism or is mercurial or both if that it is a simvastatin is correct. sent15: if the Mainer lands Chlamydera it does not constipate or it is a fetus or both. sent16: the gulping is not a State and/or is a decimation if it does refrain earl. sent17: there is something such that if it is a decimation it is a nogging or weightless or both. sent18: there exists something such that if it is happy either it is not a kind of an epilepsy or it is ascetic or both.
sent10 -> hypothesis;
the polecat is not a kind of a let and/or it is isotopic if it is a nogging.
sent13 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a decimation then either it is not a nogging or it is weightless or both. ; $context$ = sent1: if the tyrocidine is a wit it is not a fan and/or it is a kind of a rearward. sent2: the gulping is not a saprolite and/or it assembles shear if it is not non-subarctic. sent3: if the fact that the gulping is a kind of a qurush is right then it is not a kind of a Neolentinus and/or is forgetful. sent4: there is something such that if it is mucinous that it is not a tawniness or is a kind of a heroic or both hold. sent5: either something is not punitive or it is illegitimate or both if it is a nogging. sent6: the gulping does not gorge juggernaut and/or it does refrain Actinidiaceae if it is a rhubarb. sent7: something is not holozoic or it is sonic or both if it is sociological. sent8: there exists something such that if it is auscultatory then it either is non-acetic or does refrain abashment or both. sent9: there exists something such that if it gorges myope then it is not subarctic and/or it does gorge debugger. sent10: the gulping is not a nogging or is not weighty or both if it is a decimation. sent11: the gulping is a kind of a nogging and/or it is weightless if it is a decimation. sent12: the gulping does not assemble Ismaili and/or it is a nogging if it assembles hurricane. sent13: that something either does not let or is isotopic or both is not incorrect if it is a kind of a nogging. sent14: the gulping is not a Maoism or is mercurial or both if that it is a simvastatin is correct. sent15: if the Mainer lands Chlamydera it does not constipate or it is a fetus or both. sent16: the gulping is not a State and/or is a decimation if it does refrain earl. sent17: there is something such that if it is a decimation it is a nogging or weightless or both. sent18: there exists something such that if it is happy either it is not a kind of an epilepsy or it is ascetic or both. ; $proof$ = 
sent10 -> hypothesis; __PROVED__