the fact that the deaminating fiberscope does not occur but the retention happens is wrong.
sent1: the fact that the undomesticness but not the systematism happens is incorrect. sent2: the deaminating fiberscope does not occur if the fact that the deaminating fiberscope happens and the convulsion occurs does not hold. sent3: that the spam occurs and the sidearmness occurs is caused by that the pecking denim does not occur. sent4: the fact that the deaminating fiberscope and the convulsion happens is false if the pecking ping does not occur. sent5: if the pecking rehabilitation occurs then the pecking ping occurs. sent6: the fibbing occurs if that the voluntary and the non-Guineanness occurs does not hold. sent7: both the frame-up and the moralness happens. sent8: the auroralness does not occur. sent9: the pecking rehabilitation happens. sent10: if the moralness does not occur then the retention happens and the frame-up occurs. sent11: if the spam occurs then that the pecking rehabilitation does not occur and the supersonicness does not occur is false. sent12: the pecking denim does not occur if the domesticness and the fibbing occurs. sent13: if the deaminating necktie does not occur and the greeting does not occur the pecking ping does not occur. sent14: if that the undomesticness happens but the systematism does not occur is wrong the undomesticness does not occur. sent15: if the frame-up and the pecking ping occurs then the convulsion does not occur. sent16: the immoralness results in that the washup occurs and the frame-up occurs. sent17: if the convulsion does not occur then the fact that the deaminating fiberscope does not occur but the retention happens is false.
sent7 -> int1: the frame-up occurs.; sent5 & sent9 -> int2: the pecking ping occurs.; int1 & int2 -> int3: the frame-up and the pecking ping happens.; int3 & sent15 -> int4: the convulsion does not occur.; int4 & sent17 -> hypothesis;
the washup happens.
$hypothesis$ = the fact that the deaminating fiberscope does not occur but the retention happens is wrong. ; $context$ = sent1: the fact that the undomesticness but not the systematism happens is incorrect. sent2: the deaminating fiberscope does not occur if the fact that the deaminating fiberscope happens and the convulsion occurs does not hold. sent3: that the spam occurs and the sidearmness occurs is caused by that the pecking denim does not occur. sent4: the fact that the deaminating fiberscope and the convulsion happens is false if the pecking ping does not occur. sent5: if the pecking rehabilitation occurs then the pecking ping occurs. sent6: the fibbing occurs if that the voluntary and the non-Guineanness occurs does not hold. sent7: both the frame-up and the moralness happens. sent8: the auroralness does not occur. sent9: the pecking rehabilitation happens. sent10: if the moralness does not occur then the retention happens and the frame-up occurs. sent11: if the spam occurs then that the pecking rehabilitation does not occur and the supersonicness does not occur is false. sent12: the pecking denim does not occur if the domesticness and the fibbing occurs. sent13: if the deaminating necktie does not occur and the greeting does not occur the pecking ping does not occur. sent14: if that the undomesticness happens but the systematism does not occur is wrong the undomesticness does not occur. sent15: if the frame-up and the pecking ping occurs then the convulsion does not occur. sent16: the immoralness results in that the washup occurs and the frame-up occurs. sent17: if the convulsion does not occur then the fact that the deaminating fiberscope does not occur but the retention happens is false. ; $proof$ = 
sent7 -> int1: the frame-up occurs.; sent5 & sent9 -> int2: the pecking ping occurs.; int1 & int2 -> int3: the frame-up and the pecking ping happens.; int3 & sent15 -> int4: the convulsion does not occur.; int4 & sent17 -> hypothesis; __PROVED__