if the endoscopicness occurs then the Neanderthalness happens.
sent1: if the fact that the criticizing neighbor does not occur is correct then the preying does not occur. sent2: if the preying does not occur both the endoscopicness and the upholding tallith occurs. sent3: both the aesthetics and the finalizing Tinca happens if the disbanding does not occur. sent4: the meridionalness and the transmuting occurs if the finalizing ration does not occur. sent5: that the anthropophagy does not occur prevents that the Neanderthalness does not occur. sent6: if the fact that both the unrealness and the non-galacticness occurs is incorrect then the criticizing neighbor does not occur. sent7: the fact that the fact that the non-realness and the non-galacticness occurs is right does not hold if the endoergicness occurs. sent8: the aestheticsness occurs. sent9: if the libation does not occur then the endoergicness and the pragmatics occurs. sent10: if the disbanding occurs and the endoscopicness happens the anthropophagy does not occur. sent11: the libation does not occur. sent12: the aestheticsness happens and the disbanding happens. sent13: that the Neanderthalness but not the anthropophagy happens is not right if the transmuting happens.
sent12 -> int1: that the disbanding occurs hold.; void -> assump1: Let's assume that the fact that the endoscopicness happens hold.; int1 & assump1 -> int2: the disbanding and the endoscopicness occurs.; sent10 & int2 -> int3: the anthropophagy does not occur.; sent5 & int3 -> int4: the Neanderthalness occurs.; [assump1] & int4 -> hypothesis;
the upholding tallith and the finalizing Tinca happens.
sent9 & sent11 -> int5: both the endoergicness and the pragmatics occurs.; int5 -> int6: the endoergicness happens.; sent7 & int6 -> int7: that the fact that the real does not occur and the galacticness does not occur is wrong is correct.; sent6 & int7 -> int8: the criticizing neighbor does not occur.; sent1 & int8 -> int9: the preying does not occur.; sent2 & int9 -> int10: the endoscopicness and the upholding tallith occurs.; int10 -> int11: that the upholding tallith occurs is not incorrect.;
$hypothesis$ = if the endoscopicness occurs then the Neanderthalness happens. ; $context$ = sent1: if the fact that the criticizing neighbor does not occur is correct then the preying does not occur. sent2: if the preying does not occur both the endoscopicness and the upholding tallith occurs. sent3: both the aesthetics and the finalizing Tinca happens if the disbanding does not occur. sent4: the meridionalness and the transmuting occurs if the finalizing ration does not occur. sent5: that the anthropophagy does not occur prevents that the Neanderthalness does not occur. sent6: if the fact that both the unrealness and the non-galacticness occurs is incorrect then the criticizing neighbor does not occur. sent7: the fact that the fact that the non-realness and the non-galacticness occurs is right does not hold if the endoergicness occurs. sent8: the aestheticsness occurs. sent9: if the libation does not occur then the endoergicness and the pragmatics occurs. sent10: if the disbanding occurs and the endoscopicness happens the anthropophagy does not occur. sent11: the libation does not occur. sent12: the aestheticsness happens and the disbanding happens. sent13: that the Neanderthalness but not the anthropophagy happens is not right if the transmuting happens. ; $proof$ = 
sent12 -> int1: that the disbanding occurs hold.; void -> assump1: Let's assume that the fact that the endoscopicness happens hold.; int1 & assump1 -> int2: the disbanding and the endoscopicness occurs.; sent10 & int2 -> int3: the anthropophagy does not occur.; sent5 & int3 -> int4: the Neanderthalness occurs.; [assump1] & int4 -> hypothesis; __PROVED__