the hardtop is unneurotic.
sent1: that the desquamation is a serial is not wrong if that the uke is not a serial but piscatorial does not hold. sent2: if something does not defibrillate reconnaissance the fact that it is a Menticirrhus and is a demonstrativeness is wrong. sent3: the fact that the uke is not a kind of a serial and is piscatorial is incorrect. sent4: that the antivenin does defibrillate enthalpy and it eliminates protege does not hold. sent5: if something does not defibrillate enthalpy and does eliminate protege the hardtop is unneurotic. sent6: if there is something such that it is a kind of a serial then that the luck does defibrillate reconnaissance and it is a polyamide does not hold. sent7: the infielder is not industrial if the luck does walk. sent8: the uke is a demonstrativeness. sent9: if the fact that the antivenin does not defibrillate enthalpy and eliminates protege does not hold the luck is a walk. sent10: if the fact that something does defibrillate reconnaissance and it is a polyamide is incorrect it does not defibrillate reconnaissance. sent11: if that something is not a misconstrual and not a walk is incorrect that it is a kind of a walk is right. sent12: if the infielder is not a separationism then the fact that the antivenin is not a kind of a misconstrual and is not a walk is incorrect. sent13: something is not a kind of a separationism if it does not unmake Kharkov. sent14: if something is not a separationism it is a kind of a misconstrual that defibrillates reconnaissance. sent15: the desquamation is not a kind of a separationism. sent16: if the antivenin is a walk and it is nonindustrial the hardtop is not unneurotic. sent17: if the infielder is nonindustrial the desquamation is a Menticirrhus. sent18: the uke is not a misconstrual. sent19: the infielder does not unmake Kharkov.
void -> assump1: Let's assume that the fact that the antivenin does not defibrillate enthalpy and eliminates protege is false.; sent9 & assump1 -> int1: the luck walks.; int1 & sent7 -> int2: the infielder is nonindustrial.; int2 & sent17 -> int3: the desquamation is a Menticirrhus.; sent14 -> int4: the desquamation is a misconstrual and defibrillates reconnaissance if it is not a separationism.; int4 & sent15 -> int5: the desquamation is a misconstrual and it defibrillates reconnaissance.; int5 -> int6: the desquamation is a misconstrual.; int3 & int6 -> int7: the desquamation is a kind of a Menticirrhus and it is a kind of a misconstrual.;
the hardtop is not unneurotic.
sent11 -> int8: the antivenin is a walk if that it is not a misconstrual and not a walk is not right.; sent13 -> int9: if the infielder does not unmake Kharkov it is not a separationism.; int9 & sent19 -> int10: the infielder is not a separationism.; sent12 & int10 -> int11: the fact that the antivenin is not a misconstrual and is not a walk is not true.; int8 & int11 -> int12: the antivenin walks.; sent2 -> int13: if the luck does not defibrillate reconnaissance the fact that that it is a Menticirrhus and is a kind of a demonstrativeness hold is incorrect.; sent10 -> int14: the luck does not defibrillate reconnaissance if the fact that it does defibrillate reconnaissance and it is a polyamide does not hold.; sent1 & sent3 -> int15: that the desquamation is not non-serial hold.; int15 -> int16: something is a serial.; int16 & sent6 -> int17: that the luck defibrillates reconnaissance and is a kind of a polyamide does not hold.; int14 & int17 -> int18: the luck does not defibrillate reconnaissance.; int13 & int18 -> int19: that the luck is a kind of a Menticirrhus and it is a demonstrativeness is not correct.; int19 -> int20: there exists something such that that it is both a Menticirrhus and a demonstrativeness is wrong.;
$hypothesis$ = the hardtop is unneurotic. ; $context$ = sent1: that the desquamation is a serial is not wrong if that the uke is not a serial but piscatorial does not hold. sent2: if something does not defibrillate reconnaissance the fact that it is a Menticirrhus and is a demonstrativeness is wrong. sent3: the fact that the uke is not a kind of a serial and is piscatorial is incorrect. sent4: that the antivenin does defibrillate enthalpy and it eliminates protege does not hold. sent5: if something does not defibrillate enthalpy and does eliminate protege the hardtop is unneurotic. sent6: if there is something such that it is a kind of a serial then that the luck does defibrillate reconnaissance and it is a polyamide does not hold. sent7: the infielder is not industrial if the luck does walk. sent8: the uke is a demonstrativeness. sent9: if the fact that the antivenin does not defibrillate enthalpy and eliminates protege does not hold the luck is a walk. sent10: if the fact that something does defibrillate reconnaissance and it is a polyamide is incorrect it does not defibrillate reconnaissance. sent11: if that something is not a misconstrual and not a walk is incorrect that it is a kind of a walk is right. sent12: if the infielder is not a separationism then the fact that the antivenin is not a kind of a misconstrual and is not a walk is incorrect. sent13: something is not a kind of a separationism if it does not unmake Kharkov. sent14: if something is not a separationism it is a kind of a misconstrual that defibrillates reconnaissance. sent15: the desquamation is not a kind of a separationism. sent16: if the antivenin is a walk and it is nonindustrial the hardtop is not unneurotic. sent17: if the infielder is nonindustrial the desquamation is a Menticirrhus. sent18: the uke is not a misconstrual. sent19: the infielder does not unmake Kharkov. ; $proof$ = 
void -> assump1: Let's assume that the fact that the antivenin does not defibrillate enthalpy and eliminates protege is false.; sent9 & assump1 -> int1: the luck walks.; int1 & sent7 -> int2: the infielder is nonindustrial.; int2 & sent17 -> int3: the desquamation is a Menticirrhus.; sent14 -> int4: the desquamation is a misconstrual and defibrillates reconnaissance if it is not a separationism.; int4 & sent15 -> int5: the desquamation is a misconstrual and it defibrillates reconnaissance.; int5 -> int6: the desquamation is a misconstrual.; int3 & int6 -> int7: the desquamation is a kind of a Menticirrhus and it is a kind of a misconstrual.; __UNKNOWN__