the avellanness occurs.
sent1: the tournament does not occur. sent2: that the predictableness but not the tournament happens prevents that the buzz happens. sent3: if the fact that the matutinalness occurs is right then the inflaming does not occur and the trachealness does not occur. sent4: if that the outsailing Freya occurs and/or the temper does not occur is not true then the fact that the expedition occurs is not false. sent5: the decolonizing influence occurs if the distinctness happens. sent6: the decolonizing influence is prevented by that the inflaming does not occur and the trachealness does not occur. sent7: that the expedition occurs brings about that the predictableness but not the tournament happens. sent8: the avellanness occurs if the buzz occurs. sent9: the buzz occurs if the fact that the matutinalness does not occur and the boating does not occur is incorrect. sent10: the matutinalness prevents that the inflaming does not occur. sent11: if the fact that the inflaming does not occur is right then that the matutinalness does not occur and the boating does not occur is not right. sent12: if the fact that the tournament does not occur is not wrong the non-trachealness and the unpredictableness happens. sent13: the inflaming does not occur if the distinctness does not occur. sent14: if the decolonizing influence occurs then the trachealness occurs. sent15: that the matutinalness occurs but the boating does not occur is incorrect if the inflaming does not occur.
void -> assump1: Let's assume that the distinctness occurs.; sent5 & assump1 -> int1: the decolonizing influence occurs.; int1 & sent14 -> int2: the trachealness happens.; sent12 & sent1 -> int3: the trachealness does not occur and the predictableness does not occur.; int3 -> int4: the trachealness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the distinctness does not occur.; int6 & sent13 -> int7: the inflaming does not occur.; int7 & sent11 -> int8: the fact that the matutinalness does not occur and the boating does not occur is false.; int8 & sent9 -> int9: the buzzing happens.; int9 & sent8 -> hypothesis;
the incoherentness occurs.
$hypothesis$ = the avellanness occurs. ; $context$ = sent1: the tournament does not occur. sent2: that the predictableness but not the tournament happens prevents that the buzz happens. sent3: if the fact that the matutinalness occurs is right then the inflaming does not occur and the trachealness does not occur. sent4: if that the outsailing Freya occurs and/or the temper does not occur is not true then the fact that the expedition occurs is not false. sent5: the decolonizing influence occurs if the distinctness happens. sent6: the decolonizing influence is prevented by that the inflaming does not occur and the trachealness does not occur. sent7: that the expedition occurs brings about that the predictableness but not the tournament happens. sent8: the avellanness occurs if the buzz occurs. sent9: the buzz occurs if the fact that the matutinalness does not occur and the boating does not occur is incorrect. sent10: the matutinalness prevents that the inflaming does not occur. sent11: if the fact that the inflaming does not occur is right then that the matutinalness does not occur and the boating does not occur is not right. sent12: if the fact that the tournament does not occur is not wrong the non-trachealness and the unpredictableness happens. sent13: the inflaming does not occur if the distinctness does not occur. sent14: if the decolonizing influence occurs then the trachealness occurs. sent15: that the matutinalness occurs but the boating does not occur is incorrect if the inflaming does not occur. ; $proof$ = 
void -> assump1: Let's assume that the distinctness occurs.; sent5 & assump1 -> int1: the decolonizing influence occurs.; int1 & sent14 -> int2: the trachealness happens.; sent12 & sent1 -> int3: the trachealness does not occur and the predictableness does not occur.; int3 -> int4: the trachealness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the distinctness does not occur.; int6 & sent13 -> int7: the inflaming does not occur.; int7 & sent11 -> int8: the fact that the matutinalness does not occur and the boating does not occur is false.; int8 & sent9 -> int9: the buzzing happens.; int9 & sent8 -> hypothesis; __PROVED__