the fireman occurs.
sent1: if the masonicness does not occur not the indirection but the run-onness happens. sent2: if the sounding arabesque occurs the masonicness but not the indirection happens. sent3: the sounding arabesque occurs and the destaining scruple happens. sent4: the fact that the run-onness and the non-alphanumericsness happens is not right if the loyalty does not occur. sent5: the binding does not occur. sent6: the sounding Yahi does not occur if that not the boustrophedonicness but the fireman occurs is not right. sent7: the nonmagneticness is triggered by that the sounding Yahi occurs and the binding does not occur. sent8: the quelling does not occur and the alphanumericsness does not occur. sent9: that the masonicness occurs but the indirection does not occur results in that the run-onness happens. sent10: that the sounding Yahi occurs or that the binding does not occur or both is triggered by that the loyalty happens. sent11: if the sounding Yahi does not occur the loyalty does not occur and the binding does not occur. sent12: the masonicness happens. sent13: the boustrophedonicness does not occur.
void -> assump1: Let's assume that that both the non-boustrophedonicness and the fireman occurs does not hold.; sent6 & assump1 -> int1: the sounding Yahi does not occur.; int1 & sent11 -> int2: the loyalty does not occur and the binding does not occur.; int2 -> int3: the loyalty does not occur.; int3 & sent4 -> int4: that the run-onness but not the alphanumericsness happens is not true.; sent3 -> int5: the sounding arabesque occurs.; sent2 & int5 -> int6: the masonicness happens but the indirection does not occur.; sent9 & int6 -> int7: the run-onness happens.; sent8 -> int8: the alphanumericsness does not occur.; int7 & int8 -> int9: the run-onness and the non-alphanumericsness happens.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: not the boustrophedonicness but the fireman occurs.; int11 -> hypothesis;
the fireman does not occur.
$hypothesis$ = the fireman occurs. ; $context$ = sent1: if the masonicness does not occur not the indirection but the run-onness happens. sent2: if the sounding arabesque occurs the masonicness but not the indirection happens. sent3: the sounding arabesque occurs and the destaining scruple happens. sent4: the fact that the run-onness and the non-alphanumericsness happens is not right if the loyalty does not occur. sent5: the binding does not occur. sent6: the sounding Yahi does not occur if that not the boustrophedonicness but the fireman occurs is not right. sent7: the nonmagneticness is triggered by that the sounding Yahi occurs and the binding does not occur. sent8: the quelling does not occur and the alphanumericsness does not occur. sent9: that the masonicness occurs but the indirection does not occur results in that the run-onness happens. sent10: that the sounding Yahi occurs or that the binding does not occur or both is triggered by that the loyalty happens. sent11: if the sounding Yahi does not occur the loyalty does not occur and the binding does not occur. sent12: the masonicness happens. sent13: the boustrophedonicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that both the non-boustrophedonicness and the fireman occurs does not hold.; sent6 & assump1 -> int1: the sounding Yahi does not occur.; int1 & sent11 -> int2: the loyalty does not occur and the binding does not occur.; int2 -> int3: the loyalty does not occur.; int3 & sent4 -> int4: that the run-onness but not the alphanumericsness happens is not true.; sent3 -> int5: the sounding arabesque occurs.; sent2 & int5 -> int6: the masonicness happens but the indirection does not occur.; sent9 & int6 -> int7: the run-onness happens.; sent8 -> int8: the alphanumericsness does not occur.; int7 & int8 -> int9: the run-onness and the non-alphanumericsness happens.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: not the boustrophedonicness but the fireman occurs.; int11 -> hypothesis; __PROVED__