that both the non-Ephesiansness and the mastoid happens yields that the grating does not occur.
sent1: the fact that the disaster but not the recalculation happens does not hold. sent2: the shred but not the novelization occurs. sent3: the fact that if the solution does not occur the fact that the grating occurs but the basking ghillie does not occur does not hold is correct. sent4: if that the disaster does not occur and the recalculation does not occur does not hold then the solution does not occur. sent5: the fact that the solution does not occur is true if the disaster happens. sent6: that the unidirectionalness happens is prevented by that not the nonmodernness but the weightlessness happens. sent7: that the boxing hydroelectricity but not the basking poser occurs is not true if the fact that the deploring criticism does not occur is not wrong. sent8: the fact that the disaster does not occur and the recalculation does not occur is wrong. sent9: that the Ephesians happens and the mastoid happens prevents the grating. sent10: if not the ready but the deploring monocline occurs the Catholicness does not occur. sent11: the grating happens if not the Ephesians but the mastoidness happens. sent12: that the Ephesians and the mastoidness occurs results in that the basking ghillie does not occur. sent13: the circulating does not occur. sent14: the ordination occurs and the deploring pitchfork does not occur. sent15: the bracteateness occurs. sent16: the basking ghillie does not occur if the Ephesiansness does not occur and the mastoid occurs. sent17: the mastoid happens. sent18: the adequateness does not occur but the basking Norwegian happens.
void -> assump2: Let's assume that the non-Ephesiansness and the mastoidness occurs.; sent16 & assump2 -> int1: the basking ghillie does not occur.; void -> assump1: Let's assume that the fact that the grating occurs is not false.; int1 & assump1 -> int2: the grating but not the basking ghillie happens.; sent4 & sent8 -> int3: the solution does not occur.; sent3 & int3 -> int4: that the fact that the grating but not the basking ghillie happens hold is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the grating does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that both the non-Ephesiansness and the mastoid happens yields that the grating does not occur. ; $context$ = sent1: the fact that the disaster but not the recalculation happens does not hold. sent2: the shred but not the novelization occurs. sent3: the fact that if the solution does not occur the fact that the grating occurs but the basking ghillie does not occur does not hold is correct. sent4: if that the disaster does not occur and the recalculation does not occur does not hold then the solution does not occur. sent5: the fact that the solution does not occur is true if the disaster happens. sent6: that the unidirectionalness happens is prevented by that not the nonmodernness but the weightlessness happens. sent7: that the boxing hydroelectricity but not the basking poser occurs is not true if the fact that the deploring criticism does not occur is not wrong. sent8: the fact that the disaster does not occur and the recalculation does not occur is wrong. sent9: that the Ephesians happens and the mastoid happens prevents the grating. sent10: if not the ready but the deploring monocline occurs the Catholicness does not occur. sent11: the grating happens if not the Ephesians but the mastoidness happens. sent12: that the Ephesians and the mastoidness occurs results in that the basking ghillie does not occur. sent13: the circulating does not occur. sent14: the ordination occurs and the deploring pitchfork does not occur. sent15: the bracteateness occurs. sent16: the basking ghillie does not occur if the Ephesiansness does not occur and the mastoid occurs. sent17: the mastoid happens. sent18: the adequateness does not occur but the basking Norwegian happens. ; $proof$ = 
void -> assump2: Let's assume that the non-Ephesiansness and the mastoidness occurs.; sent16 & assump2 -> int1: the basking ghillie does not occur.; void -> assump1: Let's assume that the fact that the grating occurs is not false.; int1 & assump1 -> int2: the grating but not the basking ghillie happens.; sent4 & sent8 -> int3: the solution does not occur.; sent3 & int3 -> int4: that the fact that the grating but not the basking ghillie happens hold is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the grating does not occur.; [assump2] & int6 -> hypothesis; __PROVED__