the unawaresness does not occur.
sent1: the hydrousness does not occur if the unadaptableness does not occur and the jobbing simoom does not occur. sent2: that the jobbing hairball occurs prevents the non-narcolepticness. sent3: that the jobbing hairball does not occur is prevented by the caravanning. sent4: the colonization does not occur but the unawaresness occurs if the yielding fig-bird does not occur. sent5: the caravanning happens if that the mindlessness occurs is not wrong. sent6: if the hydrousness does not occur then the seaming occurs or the disembowelling benzoin does not occur or both. sent7: that the narcoleptic does not occur is caused by that the yielding fig-bird does not occur. sent8: that the jobbing hairball happens but the colonization does not occur is not right if the narcolepticness does not occur. sent9: if the dairying does not occur then the fact that the yielding fig-bird happens but the jobbing vacuole does not occur does not hold. sent10: the yielding fig-bird occurs. sent11: that the colonization does not occur is prevented by that the jobbing vacuole does not occur and the yielding fig-bird occurs. sent12: the dairying does not occur if the mealiness does not occur. sent13: that the affiliation does not occur triggers that the mealiness does not occur. sent14: not the jobbing vacuole but the yielding fig-bird occurs. sent15: that the descrying King does not occur causes that the mindlessness happens and the unsentness occurs. sent16: the unawaresness happens if the fact that the mindlessness does not occur is correct. sent17: the mindlessness and the descrying King happens. sent18: if the seam occurs and/or the disembowelling benzoin does not occur then the affiliation does not occur. sent19: that both the narcoleptic and the unawaresness occurs triggers that the colonization does not occur. sent20: the jobbing Ajaia happens.
sent17 -> int1: the mindlessness occurs.; int1 & sent5 -> int2: the caravanning occurs.; int2 & sent3 -> int3: the jobbing hairball happens.; int3 & sent2 -> int4: the narcoleptic occurs.; void -> assump1: Let's assume that the unawaresness happens.; int4 & assump1 -> int5: both the narcolepticness and the unawaresness happens.; int5 & sent19 -> int6: the colonization does not occur.; sent11 & sent14 -> int7: the colonization occurs.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the unsentness happens.
$hypothesis$ = the unawaresness does not occur. ; $context$ = sent1: the hydrousness does not occur if the unadaptableness does not occur and the jobbing simoom does not occur. sent2: that the jobbing hairball occurs prevents the non-narcolepticness. sent3: that the jobbing hairball does not occur is prevented by the caravanning. sent4: the colonization does not occur but the unawaresness occurs if the yielding fig-bird does not occur. sent5: the caravanning happens if that the mindlessness occurs is not wrong. sent6: if the hydrousness does not occur then the seaming occurs or the disembowelling benzoin does not occur or both. sent7: that the narcoleptic does not occur is caused by that the yielding fig-bird does not occur. sent8: that the jobbing hairball happens but the colonization does not occur is not right if the narcolepticness does not occur. sent9: if the dairying does not occur then the fact that the yielding fig-bird happens but the jobbing vacuole does not occur does not hold. sent10: the yielding fig-bird occurs. sent11: that the colonization does not occur is prevented by that the jobbing vacuole does not occur and the yielding fig-bird occurs. sent12: the dairying does not occur if the mealiness does not occur. sent13: that the affiliation does not occur triggers that the mealiness does not occur. sent14: not the jobbing vacuole but the yielding fig-bird occurs. sent15: that the descrying King does not occur causes that the mindlessness happens and the unsentness occurs. sent16: the unawaresness happens if the fact that the mindlessness does not occur is correct. sent17: the mindlessness and the descrying King happens. sent18: if the seam occurs and/or the disembowelling benzoin does not occur then the affiliation does not occur. sent19: that both the narcoleptic and the unawaresness occurs triggers that the colonization does not occur. sent20: the jobbing Ajaia happens. ; $proof$ = 
sent17 -> int1: the mindlessness occurs.; int1 & sent5 -> int2: the caravanning occurs.; int2 & sent3 -> int3: the jobbing hairball happens.; int3 & sent2 -> int4: the narcoleptic occurs.; void -> assump1: Let's assume that the unawaresness happens.; int4 & assump1 -> int5: both the narcolepticness and the unawaresness happens.; int5 & sent19 -> int6: the colonization does not occur.; sent11 & sent14 -> int7: the colonization occurs.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__