the fact that the totemist does not fall piss-up is not wrong.
sent1: the joss is not a kind of a malversation if something is not corpuscular but it begrudges. sent2: there is something such that it begrudges. sent3: something is not corpuscular and begrudges. sent4: the totemist is a malversation if the joss is not a malversation. sent5: the quadruplicate is not a kind of a lengthiness. sent6: the totemist does not redecorate actinomyxidian. sent7: there is something such that it is not corpuscular. sent8: if the totemist does not fall piss-up and it does not redecorate actinomyxidian the fact that the joss does not redecorate actinomyxidian is not incorrect. sent9: the quadruplicate is nidicolous or it is not uterine or both if it is not a lengthiness. sent10: the totemist does not fall piss-up if the fact that the joss does fall piss-up and is not a malversation is wrong. sent11: the fact that the tympanum redecorates ice and it is a kind of a patroller does not hold if the Munch is not uterine. sent12: there is something such that it is corpuscular and it begrudges. sent13: the joss does fall piss-up and it is a malversation if that the totemist is not a malversation is true. sent14: the totemist does fall piss-up and it is a malversation if the joss is not a kind of a malversation. sent15: if the joss does not fall piss-up the totemist is a malversation and fall piss-up. sent16: the totemist is a malversation.
sent3 & sent1 -> int1: that the joss is not a malversation is not incorrect.; sent14 & int1 -> int2: the totemist falls piss-up and is a malversation.; int2 -> hypothesis;
the totemist does not fall piss-up.
sent9 & sent5 -> int3: either the quadruplicate is nidicolous or it is not uterine or both.; int3 -> int4: something is either nidicolous or not uterine or both.;
$hypothesis$ = the fact that the totemist does not fall piss-up is not wrong. ; $context$ = sent1: the joss is not a kind of a malversation if something is not corpuscular but it begrudges. sent2: there is something such that it begrudges. sent3: something is not corpuscular and begrudges. sent4: the totemist is a malversation if the joss is not a malversation. sent5: the quadruplicate is not a kind of a lengthiness. sent6: the totemist does not redecorate actinomyxidian. sent7: there is something such that it is not corpuscular. sent8: if the totemist does not fall piss-up and it does not redecorate actinomyxidian the fact that the joss does not redecorate actinomyxidian is not incorrect. sent9: the quadruplicate is nidicolous or it is not uterine or both if it is not a lengthiness. sent10: the totemist does not fall piss-up if the fact that the joss does fall piss-up and is not a malversation is wrong. sent11: the fact that the tympanum redecorates ice and it is a kind of a patroller does not hold if the Munch is not uterine. sent12: there is something such that it is corpuscular and it begrudges. sent13: the joss does fall piss-up and it is a malversation if that the totemist is not a malversation is true. sent14: the totemist does fall piss-up and it is a malversation if the joss is not a kind of a malversation. sent15: if the joss does not fall piss-up the totemist is a malversation and fall piss-up. sent16: the totemist is a malversation. ; $proof$ = 
sent3 & sent1 -> int1: that the joss is not a malversation is not incorrect.; sent14 & int1 -> int2: the totemist falls piss-up and is a malversation.; int2 -> hypothesis; __DISPROVED__