the adjustment but not the permuting gallows-tree occurs.
sent1: if the extraterrestrialness does not occur then the fact that both the footfault and the non-nonfissionableness happens is incorrect. sent2: the abnormalness is brought about by the radiolucentness. sent3: the extraterrestrial does not occur if the fact that the non-pelvicness and the non-Aberdonianness happens is incorrect. sent4: the fact that the carding does not occur and the pause does not occur does not hold if the checkmating kedgeree does not occur. sent5: that both the non-pelvicness and the Aberdonianness occurs is not right if the cleaving does not occur. sent6: that the footfault does not occur and the nonfissionableness does not occur is not correct if the extraterrestrialness does not occur. sent7: the zoicness does not occur. sent8: if the gore does not occur that the playback but not the immortalizing soldier occurs does not hold. sent9: if the Aberdonianness occurs then the extraterrestrial does not occur. sent10: the Aberdonianness does not occur if the fact that the non-extraterrestrialness and the non-pelvicness happens is not right. sent11: that not the pelvicness but the Aberdonianness happens is false. sent12: if that the footfault does not occur and the nonfissionableness does not occur is not correct the permuting gallows-tree does not occur. sent13: the footfault prevents that the permuting gallows-tree happens. sent14: if the cleaving does not occur that the pelvicness does not occur and the Aberdonianness does not occur is not true. sent15: the deducing wolf happens if the cleaving occurs. sent16: the fact that the footfault occurs but the nonfissionableness does not occur does not hold. sent17: if the nonfissionableness does not occur then the fact that both the non-extraterrestrialness and the non-pelvicness occurs is wrong. sent18: the fact that the deducing wolf happens is not right. sent19: if the abnormalness occurs then not the adjustment but the benzenoidness happens. sent20: that that both the radiolucentness and the checkmating worker occurs is true is brought about by that the deducing revisionist does not occur. sent21: the fact that the attachableness does not occur hold if the deducing wolf occurs. sent22: that the empiricism does not occur and the watching does not occur is not right if the fanciness does not occur.
void -> assump1: Let's assume that the cleaving happens.; sent15 & assump1 -> int1: the fact that the deducing wolf happens is true.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cleaving does not occur.; int3 & sent14 -> int4: the fact that both the non-pelvicness and the non-Aberdonianness happens is not right.; int4 & sent3 -> int5: the extraterrestrialness does not occur.; int5 & sent6 -> int6: that the footfault does not occur and the nonfissionableness does not occur is wrong.; int6 & sent12 -> int7: the permuting gallows-tree does not occur.;
that the adjustment but not the permuting gallows-tree occurs is not true.
 -> hypothesis;
$hypothesis$ = the adjustment but not the permuting gallows-tree occurs. ; $context$ = sent1: if the extraterrestrialness does not occur then the fact that both the footfault and the non-nonfissionableness happens is incorrect. sent2: the abnormalness is brought about by the radiolucentness. sent3: the extraterrestrial does not occur if the fact that the non-pelvicness and the non-Aberdonianness happens is incorrect. sent4: the fact that the carding does not occur and the pause does not occur does not hold if the checkmating kedgeree does not occur. sent5: that both the non-pelvicness and the Aberdonianness occurs is not right if the cleaving does not occur. sent6: that the footfault does not occur and the nonfissionableness does not occur is not correct if the extraterrestrialness does not occur. sent7: the zoicness does not occur. sent8: if the gore does not occur that the playback but not the immortalizing soldier occurs does not hold. sent9: if the Aberdonianness occurs then the extraterrestrial does not occur. sent10: the Aberdonianness does not occur if the fact that the non-extraterrestrialness and the non-pelvicness happens is not right. sent11: that not the pelvicness but the Aberdonianness happens is false. sent12: if that the footfault does not occur and the nonfissionableness does not occur is not correct the permuting gallows-tree does not occur. sent13: the footfault prevents that the permuting gallows-tree happens. sent14: if the cleaving does not occur that the pelvicness does not occur and the Aberdonianness does not occur is not true. sent15: the deducing wolf happens if the cleaving occurs. sent16: the fact that the footfault occurs but the nonfissionableness does not occur does not hold. sent17: if the nonfissionableness does not occur then the fact that both the non-extraterrestrialness and the non-pelvicness occurs is wrong. sent18: the fact that the deducing wolf happens is not right. sent19: if the abnormalness occurs then not the adjustment but the benzenoidness happens. sent20: that that both the radiolucentness and the checkmating worker occurs is true is brought about by that the deducing revisionist does not occur. sent21: the fact that the attachableness does not occur hold if the deducing wolf occurs. sent22: that the empiricism does not occur and the watching does not occur is not right if the fanciness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the cleaving happens.; sent15 & assump1 -> int1: the fact that the deducing wolf happens is true.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cleaving does not occur.; int3 & sent14 -> int4: the fact that both the non-pelvicness and the non-Aberdonianness happens is not right.; int4 & sent3 -> int5: the extraterrestrialness does not occur.; int5 & sent6 -> int6: that the footfault does not occur and the nonfissionableness does not occur is wrong.; int6 & sent12 -> int7: the permuting gallows-tree does not occur.; __UNKNOWN__