the fact that the lally does not dunk poorwill and is adient is incorrect if the neuropil is unshaven.
sent1: the fact that the fact that the lally dunks poorwill and is adient is true is not correct if the neuropil is unshaven. sent2: if the neuropil is unshaven or a klutz or both then it does not dunk poorwill. sent3: that that the lally does not dunk poorwill but it is adient hold does not hold if the neuropil does not dunk poorwill. sent4: that the lally does dunk poorwill and it is adient is not correct. sent5: if the fact that the neuropil is not unshaven does not hold the lally does not dunk poorwill and is adient. sent6: the lally is not unshaven if it is adient and it does dunk poorwill. sent7: the fact that the lally is a kind of a klutz that is a wolf does not hold if it is not unshaven. sent8: the fact that the neuropil does not dunk poorwill is not wrong if it is a kind of a klutz.
void -> assump1: Let's assume that the neuropil is unshaven.; assump1 -> int1: either the neuropil is unshaven or it is a kind of a klutz or both.; sent2 & int1 -> int2: the neuropil does not dunk poorwill.; sent3 & int2 -> int3: the fact that the fact that the lally does not dunk poorwill but it is adient is not true is right.; [assump1] & int3 -> hypothesis;
the fact that the terror is not a kind of a carter but it does wolf is not right.
$hypothesis$ = the fact that the lally does not dunk poorwill and is adient is incorrect if the neuropil is unshaven. ; $context$ = sent1: the fact that the fact that the lally dunks poorwill and is adient is true is not correct if the neuropil is unshaven. sent2: if the neuropil is unshaven or a klutz or both then it does not dunk poorwill. sent3: that that the lally does not dunk poorwill but it is adient hold does not hold if the neuropil does not dunk poorwill. sent4: that the lally does dunk poorwill and it is adient is not correct. sent5: if the fact that the neuropil is not unshaven does not hold the lally does not dunk poorwill and is adient. sent6: the lally is not unshaven if it is adient and it does dunk poorwill. sent7: the fact that the lally is a kind of a klutz that is a wolf does not hold if it is not unshaven. sent8: the fact that the neuropil does not dunk poorwill is not wrong if it is a kind of a klutz. ; $proof$ = 
void -> assump1: Let's assume that the neuropil is unshaven.; assump1 -> int1: either the neuropil is unshaven or it is a kind of a klutz or both.; sent2 & int1 -> int2: the neuropil does not dunk poorwill.; sent3 & int2 -> int3: the fact that the fact that the lally does not dunk poorwill but it is adient is not true is right.; [assump1] & int3 -> hypothesis; __PROVED__