there exists something such that that it does finedraw fevered and it is not a kind of a get is false.
sent1: everything is a foam and/or is livable. sent2: everything is not a kind of a foam or it is livable or both. sent3: the wollastonite does govern or it is a kind of a get or both. sent4: if the fact that something is not a longshot and it does not burl does not hold the fact that it is a get is right. sent5: that the wollastonite does not finedraw fevered and is not a kind of a get is not correct if something is a kind of a get. sent6: everything is unalike or chocks Mayas or both. sent7: the blucher does govern. sent8: if the scurf does tinge then it is not a kind of a lounger and it is not ambassadorial. sent9: if the fact that the Mayas does govern is not false then the fact that the wollastonite finedraws fevered and is not a get is false. sent10: if that the wollastonite governs is correct then the OD foams. sent11: if something is not a kind of a foam or is livable or both then it does govern. sent12: the fact that the wollastonite finedraws fevered and does not govern is false. sent13: that the Mayas gets but it does not finedraw fevered is not true if the wollastonite does govern. sent14: if that the scurf is not a lounger is not incorrect that the guesser is not a longshot and it is not a burl is not true.
sent2 -> int1: the Mayas is not a foam or not unlivable or both.; sent11 -> int2: if the Mayas either is not a kind of a foam or is livable or both then it does govern.; int1 & int2 -> int3: the Mayas does govern.; int3 & sent9 -> int4: that the wollastonite finedraws fevered but it does not get is not right.; int4 -> hypothesis;
the OD foams.
sent4 -> int5: if that that the guesser is not a kind of a longshot and it does not burl does not hold is right then it is a get.;
$hypothesis$ = there exists something such that that it does finedraw fevered and it is not a kind of a get is false. ; $context$ = sent1: everything is a foam and/or is livable. sent2: everything is not a kind of a foam or it is livable or both. sent3: the wollastonite does govern or it is a kind of a get or both. sent4: if the fact that something is not a longshot and it does not burl does not hold the fact that it is a get is right. sent5: that the wollastonite does not finedraw fevered and is not a kind of a get is not correct if something is a kind of a get. sent6: everything is unalike or chocks Mayas or both. sent7: the blucher does govern. sent8: if the scurf does tinge then it is not a kind of a lounger and it is not ambassadorial. sent9: if the fact that the Mayas does govern is not false then the fact that the wollastonite finedraws fevered and is not a get is false. sent10: if that the wollastonite governs is correct then the OD foams. sent11: if something is not a kind of a foam or is livable or both then it does govern. sent12: the fact that the wollastonite finedraws fevered and does not govern is false. sent13: that the Mayas gets but it does not finedraw fevered is not true if the wollastonite does govern. sent14: if that the scurf is not a lounger is not incorrect that the guesser is not a longshot and it is not a burl is not true. ; $proof$ = 
sent2 -> int1: the Mayas is not a foam or not unlivable or both.; sent11 -> int2: if the Mayas either is not a kind of a foam or is livable or both then it does govern.; int1 & int2 -> int3: the Mayas does govern.; int3 & sent9 -> int4: that the wollastonite finedraws fevered but it does not get is not right.; int4 -> hypothesis; __PROVED__