the comforting andiron happens and the happiness happens.
sent1: the pastorship happens. sent2: the nationalization does not occur. sent3: the resurvey occurs. sent4: the untidiness does not occur and the emendation does not occur if the paddle does not occur. sent5: the fact that the thoughtlessness occurs is true. sent6: if the paddle occurs that either the starving does not occur or the unreceptiveness does not occur or both is not true. sent7: the resurvey yields that the cocooning happens. sent8: if the fact that the non-scapulohumeralness and/or the hyperextension happens is not true then the azimuthalness does not occur. sent9: the inevitableness occurs. sent10: the comforting andiron and the happiness occurs if the untidiness does not occur. sent11: if that the nationalization does not occur and/or the homeopathy occurs does not hold the reflectorizing saccade does not occur. sent12: the cocooning does not occur if the fact that either the starving happens or the unreceptiveness does not occur or both is not right. sent13: if that the starving does not occur or the unreceptiveness does not occur or both is wrong then the cocoon does not occur. sent14: the fact that the autotrophicness does not occur is not false if the fact that the floating does not occur or the reflectorizing Handel does not occur or both is false. sent15: that the starving does not occur is prevented by that the paddling occurs. sent16: the drawing elective does not occur if the fact that the cocoon does not occur and the paddling happens is wrong.
void -> assump1: Let's assume that the paddling occurs.; sent6 & assump1 -> int1: that the starving does not occur and/or the unreceptiveness does not occur is not right.; int1 & sent13 -> int2: that the cocoon does not occur is true.; sent7 & sent3 -> int3: the cocoon happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the paddling does not occur.; int5 & sent4 -> int6: the untidiness does not occur and the emendation does not occur.; int6 -> int7: the untidiness does not occur.; int7 & sent10 -> hypothesis;
that the comforting andiron occurs and the happiness occurs is not right.
 -> hypothesis;
$hypothesis$ = the comforting andiron happens and the happiness happens. ; $context$ = sent1: the pastorship happens. sent2: the nationalization does not occur. sent3: the resurvey occurs. sent4: the untidiness does not occur and the emendation does not occur if the paddle does not occur. sent5: the fact that the thoughtlessness occurs is true. sent6: if the paddle occurs that either the starving does not occur or the unreceptiveness does not occur or both is not true. sent7: the resurvey yields that the cocooning happens. sent8: if the fact that the non-scapulohumeralness and/or the hyperextension happens is not true then the azimuthalness does not occur. sent9: the inevitableness occurs. sent10: the comforting andiron and the happiness occurs if the untidiness does not occur. sent11: if that the nationalization does not occur and/or the homeopathy occurs does not hold the reflectorizing saccade does not occur. sent12: the cocooning does not occur if the fact that either the starving happens or the unreceptiveness does not occur or both is not right. sent13: if that the starving does not occur or the unreceptiveness does not occur or both is wrong then the cocoon does not occur. sent14: the fact that the autotrophicness does not occur is not false if the fact that the floating does not occur or the reflectorizing Handel does not occur or both is false. sent15: that the starving does not occur is prevented by that the paddling occurs. sent16: the drawing elective does not occur if the fact that the cocoon does not occur and the paddling happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the paddling occurs.; sent6 & assump1 -> int1: that the starving does not occur and/or the unreceptiveness does not occur is not right.; int1 & sent13 -> int2: that the cocoon does not occur is true.; sent7 & sent3 -> int3: the cocoon happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the paddling does not occur.; int5 & sent4 -> int6: the untidiness does not occur and the emendation does not occur.; int6 -> int7: the untidiness does not occur.; int7 & sent10 -> hypothesis; __PROVED__