the crib does not occur and the entozoanness does not occur if the reflecting Akan happens.
sent1: the quartzoseness happens and the sacrifice occurs. sent2: the entozoanness does not occur. sent3: the free does not occur and the reflecting underbrush does not occur. sent4: the jest happens and the spadework occurs. sent5: that the fatigue does not occur hold if the fact that the reflecting Akan does not occur but the waking approximation happens is not true. sent6: that the refreshment does not occur is caused by that both the bilking and the resulting Argentinian occurs. sent7: the dysgenicness does not occur and the small does not occur if the filialness happens. sent8: the drizzling copyhold does not occur and the waking approximation does not occur if the reflecting Akan does not occur. sent9: the differentness does not occur. sent10: the waking Pontiac happens. sent11: if the cribbing happens then that not the reflecting Akan but the waking approximation occurs does not hold. sent12: the non-nonradioactiveness and the non-roboticsness happens if the Bavarian occurs. sent13: the cribbing does not occur if the waking approximation happens and the reflecting Akan happens. sent14: the commensurateness does not occur. sent15: the woodwork does not occur. sent16: the waking approximation occurs.
void -> assump1: Let's assume that the reflecting Akan happens.; sent16 & assump1 -> int1: the waking approximation and the reflecting Akan happens.; int1 & sent13 -> int2: the crib does not occur.; int2 & sent2 -> int3: the crib does not occur and the entozoanness does not occur.; [assump1] & int3 -> hypothesis;
the drizzling copyhold does not occur.
$hypothesis$ = the crib does not occur and the entozoanness does not occur if the reflecting Akan happens. ; $context$ = sent1: the quartzoseness happens and the sacrifice occurs. sent2: the entozoanness does not occur. sent3: the free does not occur and the reflecting underbrush does not occur. sent4: the jest happens and the spadework occurs. sent5: that the fatigue does not occur hold if the fact that the reflecting Akan does not occur but the waking approximation happens is not true. sent6: that the refreshment does not occur is caused by that both the bilking and the resulting Argentinian occurs. sent7: the dysgenicness does not occur and the small does not occur if the filialness happens. sent8: the drizzling copyhold does not occur and the waking approximation does not occur if the reflecting Akan does not occur. sent9: the differentness does not occur. sent10: the waking Pontiac happens. sent11: if the cribbing happens then that not the reflecting Akan but the waking approximation occurs does not hold. sent12: the non-nonradioactiveness and the non-roboticsness happens if the Bavarian occurs. sent13: the cribbing does not occur if the waking approximation happens and the reflecting Akan happens. sent14: the commensurateness does not occur. sent15: the woodwork does not occur. sent16: the waking approximation occurs. ; $proof$ = 
void -> assump1: Let's assume that the reflecting Akan happens.; sent16 & assump1 -> int1: the waking approximation and the reflecting Akan happens.; int1 & sent13 -> int2: the crib does not occur.; int2 & sent2 -> int3: the crib does not occur and the entozoanness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__