the interreflection resubmits sobriety.
sent1: the interreflection does resubmit Conopodium. sent2: that the minge does not resubmit Conopodium and/or it is lineal is false if the purveyor is appropriative. sent3: if the purveyor is appropriative the minge does resubmit Conopodium. sent4: the minge resubmits Conopodium. sent5: if that the fact that the purveyor does dehydrogenate shag and it is appropriative is incorrect is correct then the interreflection does not resubmit sobriety. sent6: something is lineal if it does depose HIV. sent7: The shag dehydrogenates purveyor. sent8: the purveyor does not resubmit sobriety if the interreflection is appropriative. sent9: the purveyor dehydrogenates shag. sent10: the purveyor is appropriative if it dehydrogenates shag. sent11: the interreflection does resubmit sobriety if that either the minge does not resubmit Conopodium or it is lineal or both is incorrect. sent12: if the fact that that the minge resubmits Conopodium or it is lineal or both is false is not false the interreflection resubmits sobriety. sent13: the purveyor is lineal if it dehydrogenates shag.
sent10 & sent9 -> int1: the purveyor is appropriative.; sent2 & int1 -> int2: the fact that the fact that the minge does not resubmit Conopodium and/or it is lineal is not right hold.; sent11 & int2 -> hypothesis;
the interreflection does not resubmit sobriety.
$hypothesis$ = the interreflection resubmits sobriety. ; $context$ = sent1: the interreflection does resubmit Conopodium. sent2: that the minge does not resubmit Conopodium and/or it is lineal is false if the purveyor is appropriative. sent3: if the purveyor is appropriative the minge does resubmit Conopodium. sent4: the minge resubmits Conopodium. sent5: if that the fact that the purveyor does dehydrogenate shag and it is appropriative is incorrect is correct then the interreflection does not resubmit sobriety. sent6: something is lineal if it does depose HIV. sent7: The shag dehydrogenates purveyor. sent8: the purveyor does not resubmit sobriety if the interreflection is appropriative. sent9: the purveyor dehydrogenates shag. sent10: the purveyor is appropriative if it dehydrogenates shag. sent11: the interreflection does resubmit sobriety if that either the minge does not resubmit Conopodium or it is lineal or both is incorrect. sent12: if the fact that that the minge resubmits Conopodium or it is lineal or both is false is not false the interreflection resubmits sobriety. sent13: the purveyor is lineal if it dehydrogenates shag. ; $proof$ = 
sent10 & sent9 -> int1: the purveyor is appropriative.; sent2 & int1 -> int2: the fact that the fact that the minge does not resubmit Conopodium and/or it is lineal is not right hold.; sent11 & int2 -> hypothesis; __PROVED__