the southwester is not a blinker.
sent1: something that does not contribute tripod is not a perniciousness and is not Thoreauvian. sent2: if there exists something such that the fact that it ghosts and it is non-Bermudan is false then that the deodorant does not ghosts is correct. sent3: the southwester is not a blinker if the deodorant is not a kind of a perniciousness and it is not Thoreauvian. sent4: something is not a kind of a carp and it is not a Bermudan if it is billiard. sent5: if the deodorant is not a kind of a life-of-man and does not emblazon that it does contribute wholeheartedness is not false. sent6: there exists something such that that it is a kind of a ghost that is not a Bermudan is not right. sent7: if something is not a carp and is not a Bermudan then it is Thoreauvian. sent8: something is a ghost. sent9: the palpebration is not a lifer and does not contribute ununhexium if it does not contribute wholeheartedness. sent10: if that something is not a kind of a blackfish and does not contribute wartime does not hold it japans acrylamide. sent11: if there is something such that it is a ghost the cleistothecium does not japan pemmican. sent12: the deodorant is not an epileptic and it does not emblazon. sent13: if the dietary is Thoreauvian then the deodorant is not a kind of a perniciousness and it does not contribute tripod. sent14: if something japans acrylamide then it is billiard. sent15: if the fact that something is not a life-of-man and does not emblazon is incorrect then it does not contribute tripod. sent16: if the deodorant does contribute wholeheartedness then it does ghost. sent17: the deodorant is not a perniciousness. sent18: if something is not a perniciousness and does not contribute tripod then it does not contribute wholeheartedness.
void -> assump1: Let's assume that the deodorant is not a life-of-man and it does not emblazon.; sent5 & assump1 -> int1: that the deodorant does contribute wholeheartedness hold.; int1 & sent16 -> int2: the deodorant does ghost.; sent6 & sent2 -> int3: that the deodorant does not ghost hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the deodorant is not a kind of a life-of-man and does not emblazon is false.; sent15 -> int6: the fact that the deodorant does not contribute tripod if that the deodorant is not a kind of a life-of-man and it does not emblazon does not hold is not wrong.; int5 & int6 -> int7: the deodorant does not contribute tripod.; sent1 -> int8: the deodorant is not a perniciousness and not Thoreauvian if it does not contribute tripod.; int7 & int8 -> int9: the deodorant is not a perniciousness and it is non-Thoreauvian.; int9 & sent3 -> hypothesis;
the southwester is a kind of a blinker.
sent18 -> int10: if the deodorant is not a kind of a perniciousness and does not contribute tripod that it does not contribute wholeheartedness is right.; sent7 -> int11: if the dietary is not a carp and not Bermudan then it is Thoreauvian.; sent4 -> int12: if the dietary is billiard then it is not a kind of a carp and it is not a Bermudan.; sent14 -> int13: the dietary is billiard if it does japan acrylamide.; sent10 -> int14: the dietary japans acrylamide if that it is not a blackfish and it does not contribute wartime is wrong.;
$hypothesis$ = the southwester is not a blinker. ; $context$ = sent1: something that does not contribute tripod is not a perniciousness and is not Thoreauvian. sent2: if there exists something such that the fact that it ghosts and it is non-Bermudan is false then that the deodorant does not ghosts is correct. sent3: the southwester is not a blinker if the deodorant is not a kind of a perniciousness and it is not Thoreauvian. sent4: something is not a kind of a carp and it is not a Bermudan if it is billiard. sent5: if the deodorant is not a kind of a life-of-man and does not emblazon that it does contribute wholeheartedness is not false. sent6: there exists something such that that it is a kind of a ghost that is not a Bermudan is not right. sent7: if something is not a carp and is not a Bermudan then it is Thoreauvian. sent8: something is a ghost. sent9: the palpebration is not a lifer and does not contribute ununhexium if it does not contribute wholeheartedness. sent10: if that something is not a kind of a blackfish and does not contribute wartime does not hold it japans acrylamide. sent11: if there is something such that it is a ghost the cleistothecium does not japan pemmican. sent12: the deodorant is not an epileptic and it does not emblazon. sent13: if the dietary is Thoreauvian then the deodorant is not a kind of a perniciousness and it does not contribute tripod. sent14: if something japans acrylamide then it is billiard. sent15: if the fact that something is not a life-of-man and does not emblazon is incorrect then it does not contribute tripod. sent16: if the deodorant does contribute wholeheartedness then it does ghost. sent17: the deodorant is not a perniciousness. sent18: if something is not a perniciousness and does not contribute tripod then it does not contribute wholeheartedness. ; $proof$ = 
void -> assump1: Let's assume that the deodorant is not a life-of-man and it does not emblazon.; sent5 & assump1 -> int1: that the deodorant does contribute wholeheartedness hold.; int1 & sent16 -> int2: the deodorant does ghost.; sent6 & sent2 -> int3: that the deodorant does not ghost hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the deodorant is not a kind of a life-of-man and does not emblazon is false.; sent15 -> int6: the fact that the deodorant does not contribute tripod if that the deodorant is not a kind of a life-of-man and it does not emblazon does not hold is not wrong.; int5 & int6 -> int7: the deodorant does not contribute tripod.; sent1 -> int8: the deodorant is not a perniciousness and not Thoreauvian if it does not contribute tripod.; int7 & int8 -> int9: the deodorant is not a perniciousness and it is non-Thoreauvian.; int9 & sent3 -> hypothesis; __PROVED__