the dressmaker is a rumble that does Simonize vestibule.
sent1: the dressmaker Simonizes vestibule if the ectoproct is a tango. sent2: something does not tusk arraignment but it unbuttons antitussive if it is not a prior. sent3: if the commissionaire is a Tarheel the ectoproct does tango. sent4: if the refinisher is nonmagnetic then the commissionaire is a Tarheel. sent5: if the cootie does not tusk arraignment but it does unbutton antitussive the dressmaker is a rumble. sent6: the factor does tusk arraignment. sent7: the ectoproct is semi-tuberous. sent8: something is not a Tarheel but it tangos if it does tusk arraignment. sent9: there exists something such that that it is immunotherapeutic thing that is a Chattahoochee is not right. sent10: something does tusk arraignment and/or it is a prior. sent11: the dressmaker is a rumble if the cootie does tusk arraignment and does unbutton antitussive. sent12: the refinisher is nonmagnetic if there is something such that the fact that it is immunotherapeutic a Chattahoochee is false. sent13: something is both not non-immunotherapeutic and a Chattahoochee. sent14: the cootie is not a kind of a prior.
sent9 & sent12 -> int1: the refinisher is nonmagnetic.; int1 & sent4 -> int2: the commissionaire is a Tarheel.; int2 & sent3 -> int3: the ectoproct is a kind of a tango.; int3 & sent1 -> int4: the dressmaker Simonizes vestibule.; sent2 -> int5: the cootie does not tusk arraignment but it does unbutton antitussive if it is not a kind of a prior.; int5 & sent14 -> int6: the cootie does not tusk arraignment and unbuttons antitussive.; sent5 & int6 -> int7: the dressmaker rumbles.; int4 & int7 -> hypothesis;
that the dressmaker is a rumble and it does Simonize vestibule is incorrect.
sent8 -> int8: the commissionaire is not a Tarheel and does tango if it does tusk arraignment.;
$hypothesis$ = the dressmaker is a rumble that does Simonize vestibule. ; $context$ = sent1: the dressmaker Simonizes vestibule if the ectoproct is a tango. sent2: something does not tusk arraignment but it unbuttons antitussive if it is not a prior. sent3: if the commissionaire is a Tarheel the ectoproct does tango. sent4: if the refinisher is nonmagnetic then the commissionaire is a Tarheel. sent5: if the cootie does not tusk arraignment but it does unbutton antitussive the dressmaker is a rumble. sent6: the factor does tusk arraignment. sent7: the ectoproct is semi-tuberous. sent8: something is not a Tarheel but it tangos if it does tusk arraignment. sent9: there exists something such that that it is immunotherapeutic thing that is a Chattahoochee is not right. sent10: something does tusk arraignment and/or it is a prior. sent11: the dressmaker is a rumble if the cootie does tusk arraignment and does unbutton antitussive. sent12: the refinisher is nonmagnetic if there is something such that the fact that it is immunotherapeutic a Chattahoochee is false. sent13: something is both not non-immunotherapeutic and a Chattahoochee. sent14: the cootie is not a kind of a prior. ; $proof$ = 
sent9 & sent12 -> int1: the refinisher is nonmagnetic.; int1 & sent4 -> int2: the commissionaire is a Tarheel.; int2 & sent3 -> int3: the ectoproct is a kind of a tango.; int3 & sent1 -> int4: the dressmaker Simonizes vestibule.; sent2 -> int5: the cootie does not tusk arraignment but it does unbutton antitussive if it is not a kind of a prior.; int5 & sent14 -> int6: the cootie does not tusk arraignment and unbuttons antitussive.; sent5 & int6 -> int7: the dressmaker rumbles.; int4 & int7 -> hypothesis; __PROVED__