that the jongleur is not centralist does not hold.
sent1: everything is not a temperance. sent2: the tankard is subjacent if the photography is subjacent. sent3: the jongleur is not a temperance. sent4: that something is a Californian and it is a kind of a deaf is wrong if it is not a shop. sent5: if something is not econometric either it is not fungal or it is a temperance or both. sent6: something that is real-time is subjacent. sent7: everything is not a shop. sent8: if the schlep is a kind of centralist thing that is fungal the jongleur is not centralist. sent9: the jongleur does shy. sent10: everything is centralist and it is not a temperance. sent11: that the photography does housekeep thiazine and/or it does not regard feverroot is incorrect if the bichromate housekeeps kook. sent12: the tankard is not a temperance if either the schlep is not fungal or it is a temperance or both. sent13: the schlep is not non-centralist if the photography is a kind of a Californian. sent14: if that the schlep is a kind of Californian thing that is a kind of a deaf is not correct it is not econometric. sent15: the photography is not non-Californian.
sent10 -> int1: the jongleur is not non-centralist and not a temperance.; int1 -> hypothesis;
the tankard is subjacent but not a temperance.
sent4 -> int2: that that the binary is a kind of a Californian and it is a kind of a deaf is not right is not wrong if it is not a kind of a shop.; sent7 -> int3: the binary does not shop.; int2 & int3 -> int4: that the binary is both Californian and not non-deaf is not true.; int4 -> int5: there is nothing such that it is a Californian and it is deaf.; int5 -> int6: that the schlep is both a Californian and a deaf is incorrect.; sent14 & int6 -> int7: the schlep is non-econometric.; sent5 -> int8: the fact that the schlep is not fungal or is the temperance or both if the schlep is not econometric is not false.; int7 & int8 -> int9: the schlep is non-fungal or it is a temperance or both.; int9 & sent12 -> int10: the fact that the tankard is not a kind of a temperance is true.; sent6 -> int11: the photography is subjacent if it is not non-real-time.;
$hypothesis$ = that the jongleur is not centralist does not hold. ; $context$ = sent1: everything is not a temperance. sent2: the tankard is subjacent if the photography is subjacent. sent3: the jongleur is not a temperance. sent4: that something is a Californian and it is a kind of a deaf is wrong if it is not a shop. sent5: if something is not econometric either it is not fungal or it is a temperance or both. sent6: something that is real-time is subjacent. sent7: everything is not a shop. sent8: if the schlep is a kind of centralist thing that is fungal the jongleur is not centralist. sent9: the jongleur does shy. sent10: everything is centralist and it is not a temperance. sent11: that the photography does housekeep thiazine and/or it does not regard feverroot is incorrect if the bichromate housekeeps kook. sent12: the tankard is not a temperance if either the schlep is not fungal or it is a temperance or both. sent13: the schlep is not non-centralist if the photography is a kind of a Californian. sent14: if that the schlep is a kind of Californian thing that is a kind of a deaf is not correct it is not econometric. sent15: the photography is not non-Californian. ; $proof$ = 
sent10 -> int1: the jongleur is not non-centralist and not a temperance.; int1 -> hypothesis; __PROVED__