the multiprocessor is not a bandoneon.
sent1: the Herero is a torus if the punctum unpicks Friulian. sent2: if the multiprocessor is a kind of a torus the punctum is a kind of a bandoneon. sent3: if the Herero does unpick Friulian then the punctum dampens. sent4: the Argyrol is indigestible. sent5: that something does not dampen and is digestible is false if it is a torus. sent6: the punctum is both a cripple and not a Demulen if the cud is not a harmonization. sent7: if the Herero is not unpublishable the punctum does dampen. sent8: the multiprocessor is not a bandoneon if the punctum is a kind of a torus. sent9: the chino is not a kind of a harmonization or it is a Secession or both. sent10: the multiprocessor is not a bandoneon if the punctum does dampen and/or it is a kind of a torus. sent11: the Herero unpicks Friulian or it is not unpublishable or both if it is not digestible. sent12: the Herero is not digestible. sent13: the Herero is not a kind of a partitive. sent14: the cud is not a harmonization if there is something such that it is not a kind of a harmonization or it is a Secession or both. sent15: either the forgery does unpick Oryza or it does unpick Friulian or both.
sent11 & sent12 -> int1: either the Herero does unpick Friulian or it is not unpublishable or both.; int1 & sent3 & sent7 -> int2: the punctum does dampen.; int2 -> int3: the punctum dampens and/or is a kind of a torus.; sent10 & int3 -> hypothesis;
the multiprocessor is a kind of a bandoneon.
sent5 -> int4: if the Herero is a kind of a torus the fact that it does not dampen and is digestible is not correct.; sent9 -> int5: there exists something such that it is not a kind of a harmonization and/or is a Secession.; int5 & sent14 -> int6: the cud is not a harmonization.; sent6 & int6 -> int7: the punctum is both a cripple and not a Demulen.; int7 -> int8: there is something such that it is a cripple and it is not a kind of a Demulen.;
$hypothesis$ = the multiprocessor is not a bandoneon. ; $context$ = sent1: the Herero is a torus if the punctum unpicks Friulian. sent2: if the multiprocessor is a kind of a torus the punctum is a kind of a bandoneon. sent3: if the Herero does unpick Friulian then the punctum dampens. sent4: the Argyrol is indigestible. sent5: that something does not dampen and is digestible is false if it is a torus. sent6: the punctum is both a cripple and not a Demulen if the cud is not a harmonization. sent7: if the Herero is not unpublishable the punctum does dampen. sent8: the multiprocessor is not a bandoneon if the punctum is a kind of a torus. sent9: the chino is not a kind of a harmonization or it is a Secession or both. sent10: the multiprocessor is not a bandoneon if the punctum does dampen and/or it is a kind of a torus. sent11: the Herero unpicks Friulian or it is not unpublishable or both if it is not digestible. sent12: the Herero is not digestible. sent13: the Herero is not a kind of a partitive. sent14: the cud is not a harmonization if there is something such that it is not a kind of a harmonization or it is a Secession or both. sent15: either the forgery does unpick Oryza or it does unpick Friulian or both. ; $proof$ = 
sent11 & sent12 -> int1: either the Herero does unpick Friulian or it is not unpublishable or both.; int1 & sent3 & sent7 -> int2: the punctum does dampen.; int2 -> int3: the punctum dampens and/or is a kind of a torus.; sent10 & int3 -> hypothesis; __PROVED__