the dehumanization does not occur.
sent1: the plane does not occur and/or the erectness occurs. sent2: the tannicness occurs. sent3: if the unairworthiness does not occur then both the dehumanization and the planing happens. sent4: the bacteriophagicness does not occur. sent5: the javelin happens and the sweetening landslide happens. sent6: if either the planing does not occur or the erectness does not occur or both the intruding tinplate does not occur. sent7: the dehumanization does not occur if that the tolling occurs and the expulsion happens does not hold. sent8: the unairworthiness happens. sent9: the considerateness does not occur. sent10: the fact that that both the tolling and the expulsion occurs is not true if the intruding tinplate does not occur is not false. sent11: if the erectness does not occur the appearance occurs and the unairworthiness does not occur. sent12: the fact that the soiling does not occur is not wrong. sent13: if the fact that both the thunderbolt and the absorbentness occurs is false then the bacteriophagicness does not occur. sent14: either the sweetening Stenotomus does not occur or the nearness does not occur or both. sent15: the appearance does not occur if both the plane and the unairworthiness occurs. sent16: both the appearance and the eyeing occurs if the soiling does not occur. sent17: the unconscious happens. sent18: the dehumanization does not occur if the expulsion does not occur.
void -> assump1: Let's assume that the plane happens.; assump1 & sent8 -> int1: the plane occurs and the unairworthiness happens.; int1 & sent15 -> int2: the appearance does not occur.; sent16 & sent12 -> int3: the appearance and the eye occurs.; int3 -> int4: that the appearance happens is not wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the planing does not occur.; int6 -> int7: either the planing does not occur or the erectness does not occur or both.; int7 & sent6 -> int8: the intruding tinplate does not occur.; int8 & sent10 -> int9: the fact that the toll and the expulsion occurs is incorrect.; int9 & sent7 -> hypothesis;
the dehumanization happens.
$hypothesis$ = the dehumanization does not occur. ; $context$ = sent1: the plane does not occur and/or the erectness occurs. sent2: the tannicness occurs. sent3: if the unairworthiness does not occur then both the dehumanization and the planing happens. sent4: the bacteriophagicness does not occur. sent5: the javelin happens and the sweetening landslide happens. sent6: if either the planing does not occur or the erectness does not occur or both the intruding tinplate does not occur. sent7: the dehumanization does not occur if that the tolling occurs and the expulsion happens does not hold. sent8: the unairworthiness happens. sent9: the considerateness does not occur. sent10: the fact that that both the tolling and the expulsion occurs is not true if the intruding tinplate does not occur is not false. sent11: if the erectness does not occur the appearance occurs and the unairworthiness does not occur. sent12: the fact that the soiling does not occur is not wrong. sent13: if the fact that both the thunderbolt and the absorbentness occurs is false then the bacteriophagicness does not occur. sent14: either the sweetening Stenotomus does not occur or the nearness does not occur or both. sent15: the appearance does not occur if both the plane and the unairworthiness occurs. sent16: both the appearance and the eyeing occurs if the soiling does not occur. sent17: the unconscious happens. sent18: the dehumanization does not occur if the expulsion does not occur. ; $proof$ = 
void -> assump1: Let's assume that the plane happens.; assump1 & sent8 -> int1: the plane occurs and the unairworthiness happens.; int1 & sent15 -> int2: the appearance does not occur.; sent16 & sent12 -> int3: the appearance and the eye occurs.; int3 -> int4: that the appearance happens is not wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the planing does not occur.; int6 -> int7: either the planing does not occur or the erectness does not occur or both.; int7 & sent6 -> int8: the intruding tinplate does not occur.; int8 & sent10 -> int9: the fact that the toll and the expulsion occurs is incorrect.; int9 & sent7 -> hypothesis; __PROVED__