the mythologizing happens.
sent1: that the jacking muffin and the foliation happens is triggered by that the retarding does not occur. sent2: the fact that the foliation does not occur but the jacking muffin happens does not hold. sent3: that the jacking gymnasium does not occur and the pickup does not occur is false if the jacking psychotic does not occur. sent4: that the articulatedness does not occur and the jacking psychotic does not occur is triggered by that the dint does not occur. sent5: the breakdown does not occur if that not the foliation but the jacking muffin happens is false. sent6: the mythologizing does not occur if the foliation happens. sent7: the Swaziness does not occur if the fact that not the Christianization but the panicking say happens is not right. sent8: the jacking muffin does not occur if the fact that not the jacking gymnasium but the pickup happens is not right. sent9: that the foliation and the retarding occurs is false if the jacking muffin does not occur. sent10: the fact that the cortege happens hold. sent11: that the mythologizing does not occur causes that not the batting but the breakdown occurs. sent12: if the fact that the foliation and the retarding occurs is not true then the foliation does not occur. sent13: the breakdown does not occur if the foliation occurs.
void -> assump1: Let's assume that the mythologizing does not occur.; sent11 & assump1 -> int1: the batting does not occur and the breakdown occurs.; int1 -> int2: the breakdown happens.; sent5 & sent2 -> int3: the breakdown does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the mythologizing does not occur.
$hypothesis$ = the mythologizing happens. ; $context$ = sent1: that the jacking muffin and the foliation happens is triggered by that the retarding does not occur. sent2: the fact that the foliation does not occur but the jacking muffin happens does not hold. sent3: that the jacking gymnasium does not occur and the pickup does not occur is false if the jacking psychotic does not occur. sent4: that the articulatedness does not occur and the jacking psychotic does not occur is triggered by that the dint does not occur. sent5: the breakdown does not occur if that not the foliation but the jacking muffin happens is false. sent6: the mythologizing does not occur if the foliation happens. sent7: the Swaziness does not occur if the fact that not the Christianization but the panicking say happens is not right. sent8: the jacking muffin does not occur if the fact that not the jacking gymnasium but the pickup happens is not right. sent9: that the foliation and the retarding occurs is false if the jacking muffin does not occur. sent10: the fact that the cortege happens hold. sent11: that the mythologizing does not occur causes that not the batting but the breakdown occurs. sent12: if the fact that the foliation and the retarding occurs is not true then the foliation does not occur. sent13: the breakdown does not occur if the foliation occurs. ; $proof$ = 
void -> assump1: Let's assume that the mythologizing does not occur.; sent11 & assump1 -> int1: the batting does not occur and the breakdown occurs.; int1 -> int2: the breakdown happens.; sent5 & sent2 -> int3: the breakdown does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__