the lockage does not fold glutted.
sent1: something does hallucinate if the fact that it platinizes greasiness is not false. sent2: if the Socinian folds butchery then the splinter platinizes greasiness and is not velar. sent3: the shingling does platinize greasiness and does fold glutted. sent4: the fact that that the Presbyterian platinizes Presbyterian and is velar is not true is not incorrect if it does not grimace. sent5: if a gorge does not hallucinate it does not fold glutted. sent6: something is a kind of vicinal thing that is a kind of a banishment. sent7: that the peacock-throne is vicinal a banishment is false. sent8: if the blister is a debarkation the Socinian does fold butchery. sent9: the lockage is not a velar. sent10: the lockage is a gorge if there is something such that that it is vicinal and it is a banishment is incorrect. sent11: something does not hallucinate if the fact that it does platinize greasiness and it does hallucinate is not right. sent12: that something is not a kind of a fester hold if it does not gorge. sent13: the fact that the lockage does platinize greasiness and it hallucinates is not true if it is not velar.
sent7 -> int1: there is something such that the fact that it is vicinal and it is a banishment does not hold.; int1 & sent10 -> int2: the lockage gorges.; sent11 -> int3: the lockage does not hallucinate if that it does platinize greasiness and it hallucinate is wrong.; sent13 & sent9 -> int4: the fact that the lockage does platinize greasiness and it hallucinates is incorrect.; int3 & int4 -> int5: the lockage does not hallucinate.; int2 & int5 -> int6: the lockage does gorge but it does not hallucinate.; sent5 -> int7: if that the lockage does gorge but it does not hallucinate is not incorrect then it does not fold glutted.; int6 & int7 -> hypothesis;
the lockage folds glutted.
sent1 -> int8: if the splinter platinizes greasiness then it hallucinates.;
$hypothesis$ = the lockage does not fold glutted. ; $context$ = sent1: something does hallucinate if the fact that it platinizes greasiness is not false. sent2: if the Socinian folds butchery then the splinter platinizes greasiness and is not velar. sent3: the shingling does platinize greasiness and does fold glutted. sent4: the fact that that the Presbyterian platinizes Presbyterian and is velar is not true is not incorrect if it does not grimace. sent5: if a gorge does not hallucinate it does not fold glutted. sent6: something is a kind of vicinal thing that is a kind of a banishment. sent7: that the peacock-throne is vicinal a banishment is false. sent8: if the blister is a debarkation the Socinian does fold butchery. sent9: the lockage is not a velar. sent10: the lockage is a gorge if there is something such that that it is vicinal and it is a banishment is incorrect. sent11: something does not hallucinate if the fact that it does platinize greasiness and it does hallucinate is not right. sent12: that something is not a kind of a fester hold if it does not gorge. sent13: the fact that the lockage does platinize greasiness and it hallucinates is not true if it is not velar. ; $proof$ = 
sent7 -> int1: there is something such that the fact that it is vicinal and it is a banishment does not hold.; int1 & sent10 -> int2: the lockage gorges.; sent11 -> int3: the lockage does not hallucinate if that it does platinize greasiness and it hallucinate is wrong.; sent13 & sent9 -> int4: the fact that the lockage does platinize greasiness and it hallucinates is incorrect.; int3 & int4 -> int5: the lockage does not hallucinate.; int2 & int5 -> int6: the lockage does gorge but it does not hallucinate.; sent5 -> int7: if that the lockage does gorge but it does not hallucinate is not incorrect then it does not fold glutted.; int6 & int7 -> hypothesis; __PROVED__