the lumberman does not precipitate.
sent1: the lumberman is not a precipitate if the click is a kind of a breeze. sent2: if the wimple does breeze the click is participial. sent3: if the fact that something is not a precipitate and it is not participial hold then it is a aggro. sent4: the wigmaker is a kind of a aggro if there exists something such that that it is not participial and it is not many does not hold. sent5: there exists something such that the fact that it is not a aggro and is a kind of a precipitate is not correct. sent6: if the wigmaker is a dioxin that is not a aggro it is a devisor. sent7: the lumberman is not an incident and it is not a kind of a aggro. sent8: if that something is a devisor and a dioxin is wrong then it is not a devisor. sent9: the wigmaker does not breeze. sent10: something is a crassness. sent11: the fact that something is not a kind of a dioxin and is not a kind of a breeze is wrong if it is not a crassness. sent12: the click is not a aggro. sent13: the lumberman precipitates and is a aggro if the wigmaker is not a devisor. sent14: the wimple does not precipitate and is not many. sent15: if something is many then that the click is participial and it does breeze is false. sent16: there is something such that the fact that it is not a precipitate and is many is false. sent17: if the wigmaker is a aggro then the click is a breeze. sent18: that the wimple is a devisor and a dioxin is not true if there exists something such that it is a crassness. sent19: if something is not a confabulation and does not restrain sooth it is a poor. sent20: the gravedigger is not a kind of a whirl and is not a polka.
void -> assump1: Let's assume that the wimple is non-participial thing that is not many.; sent8 -> int1: the wimple is not a devisor if the fact that it is a kind of a devisor and is a kind of a dioxin is incorrect.; sent10 & sent18 -> int2: that the wimple is a devisor and is a dioxin is false.; int1 & int2 -> int3: the wimple is not a devisor.;
the lumberman does precipitate.
sent11 -> int4: the fact that the click is not a kind of a dioxin and it is not a kind of a breeze does not hold if it is not a crassness.; sent20 -> int5: there is something such that the fact that it is both not a whirl and not a polka is not incorrect.;
$hypothesis$ = the lumberman does not precipitate. ; $context$ = sent1: the lumberman is not a precipitate if the click is a kind of a breeze. sent2: if the wimple does breeze the click is participial. sent3: if the fact that something is not a precipitate and it is not participial hold then it is a aggro. sent4: the wigmaker is a kind of a aggro if there exists something such that that it is not participial and it is not many does not hold. sent5: there exists something such that the fact that it is not a aggro and is a kind of a precipitate is not correct. sent6: if the wigmaker is a dioxin that is not a aggro it is a devisor. sent7: the lumberman is not an incident and it is not a kind of a aggro. sent8: if that something is a devisor and a dioxin is wrong then it is not a devisor. sent9: the wigmaker does not breeze. sent10: something is a crassness. sent11: the fact that something is not a kind of a dioxin and is not a kind of a breeze is wrong if it is not a crassness. sent12: the click is not a aggro. sent13: the lumberman precipitates and is a aggro if the wigmaker is not a devisor. sent14: the wimple does not precipitate and is not many. sent15: if something is many then that the click is participial and it does breeze is false. sent16: there is something such that the fact that it is not a precipitate and is many is false. sent17: if the wigmaker is a aggro then the click is a breeze. sent18: that the wimple is a devisor and a dioxin is not true if there exists something such that it is a crassness. sent19: if something is not a confabulation and does not restrain sooth it is a poor. sent20: the gravedigger is not a kind of a whirl and is not a polka. ; $proof$ = 
void -> assump1: Let's assume that the wimple is non-participial thing that is not many.; sent8 -> int1: the wimple is not a devisor if the fact that it is a kind of a devisor and is a kind of a dioxin is incorrect.; sent10 & sent18 -> int2: that the wimple is a devisor and is a dioxin is false.; int1 & int2 -> int3: the wimple is not a devisor.; __UNKNOWN__