the frijolito is a hollowness.
sent1: that either the threonine is a Moynihan or it is not a grocer or both is not correct. sent2: if something is not a kind of a hollowness the fact that either it is herbivorous or it is non-arenaceous or both is false. sent3: something is not a hollowness if it does not copy hammerlock. sent4: if something does not partake then it is not a galbanum and it does not copy hammerlock. sent5: if that something is a hollowness that does copy hammerlock is not right it is not a kind of a hollowness. sent6: the threonine is a grocer. sent7: the fact that the frijolito is a kind of a hollowness is not incorrect if there is something such that the fact that it is a Moynihan and/or not a grocer is not true. sent8: something is a Moynihan and/or is not a kind of a grocer.
sent1 -> int1: there exists something such that the fact that it is a Moynihan or is not a grocer or both is incorrect.; int1 & sent7 -> hypothesis;
the frijolito is not a hollowness.
sent3 -> int2: if the frijolito does not copy hammerlock it is not a kind of a hollowness.; sent4 -> int3: if the frijolito does not partake then it is not a kind of a galbanum and does not copy hammerlock.;
$hypothesis$ = the frijolito is a hollowness. ; $context$ = sent1: that either the threonine is a Moynihan or it is not a grocer or both is not correct. sent2: if something is not a kind of a hollowness the fact that either it is herbivorous or it is non-arenaceous or both is false. sent3: something is not a hollowness if it does not copy hammerlock. sent4: if something does not partake then it is not a galbanum and it does not copy hammerlock. sent5: if that something is a hollowness that does copy hammerlock is not right it is not a kind of a hollowness. sent6: the threonine is a grocer. sent7: the fact that the frijolito is a kind of a hollowness is not incorrect if there is something such that the fact that it is a Moynihan and/or not a grocer is not true. sent8: something is a Moynihan and/or is not a kind of a grocer. ; $proof$ = 
sent1 -> int1: there exists something such that the fact that it is a Moynihan or is not a grocer or both is incorrect.; int1 & sent7 -> hypothesis; __PROVED__