the checkout is not loyal and does not exalt codification.
sent1: the fact that the checkout is a frostbite and does not embattle is not right. sent2: the shipside is not nacreous. sent3: if the fact that something is a frostbite but it does not embattle does not hold then it does not exalt codification. sent4: if that there exists something such that the fact that it is not a loge and does not scoff nonfiction is false is not false then the mesenchyme is non-nacreous. sent5: if there is something such that it does scoff nonfiction then the mesenchyme is not nacreous. sent6: there exists something such that that it is a loge that does not scoff nonfiction does not hold. sent7: if something is not nacreous it is not discomycetous and it is Soviet. sent8: something is not a kind of a loge and does not scoff nonfiction. sent9: that the checkout is a frostbite and it embattles is not right. sent10: there is something such that that it is not a loge and does not scoff nonfiction is not correct. sent11: there exists something such that the fact that it is not a loge and it does scoff nonfiction does not hold. sent12: if the mesenchyme is non-nacreous it is Soviet. sent13: the checkout is not loyal and is corpuscular if the mesenchyme is non-discomycetous. sent14: if something is not nacreous it is Soviet.
sent10 & sent4 -> int1: the mesenchyme is not nacreous.; sent7 -> int2: if the mesenchyme is not nacreous then it is not discomycetous and it is Soviet.; int1 & int2 -> int3: the mesenchyme is both not discomycetous and Soviet.; int3 -> int4: the mesenchyme is not discomycetous.; int4 & sent13 -> int5: the checkout is not loyal but it is corpuscular.; int5 -> int6: the checkout is not loyal.; sent3 -> int7: the checkout does not exalt codification if that it is a frostbite that does not embattle is not right.; int7 & sent1 -> int8: the checkout does not exalt codification.; int6 & int8 -> hypothesis;
$hypothesis$ = the checkout is not loyal and does not exalt codification. ; $context$ = sent1: the fact that the checkout is a frostbite and does not embattle is not right. sent2: the shipside is not nacreous. sent3: if the fact that something is a frostbite but it does not embattle does not hold then it does not exalt codification. sent4: if that there exists something such that the fact that it is not a loge and does not scoff nonfiction is false is not false then the mesenchyme is non-nacreous. sent5: if there is something such that it does scoff nonfiction then the mesenchyme is not nacreous. sent6: there exists something such that that it is a loge that does not scoff nonfiction does not hold. sent7: if something is not nacreous it is not discomycetous and it is Soviet. sent8: something is not a kind of a loge and does not scoff nonfiction. sent9: that the checkout is a frostbite and it embattles is not right. sent10: there is something such that that it is not a loge and does not scoff nonfiction is not correct. sent11: there exists something such that the fact that it is not a loge and it does scoff nonfiction does not hold. sent12: if the mesenchyme is non-nacreous it is Soviet. sent13: the checkout is not loyal and is corpuscular if the mesenchyme is non-discomycetous. sent14: if something is not nacreous it is Soviet. ; $proof$ = 
sent10 & sent4 -> int1: the mesenchyme is not nacreous.; sent7 -> int2: if the mesenchyme is not nacreous then it is not discomycetous and it is Soviet.; int1 & int2 -> int3: the mesenchyme is both not discomycetous and Soviet.; int3 -> int4: the mesenchyme is not discomycetous.; int4 & sent13 -> int5: the checkout is not loyal but it is corpuscular.; int5 -> int6: the checkout is not loyal.; sent3 -> int7: the checkout does not exalt codification if that it is a frostbite that does not embattle is not right.; int7 & sent1 -> int8: the checkout does not exalt codification.; int6 & int8 -> hypothesis; __PROVED__