the enfilading does not occur.
sent1: if that the trabecularness does not occur and the jamming credulity does not occur is wrong the translation does not occur. sent2: if that the jamming credulity does not occur or the trabecularness does not occur or both does not hold then the cyberneticness does not occur. sent3: the tuition happens. sent4: the Malainess occurs if the translation does not occur. sent5: the tuition and the lateness occurs. sent6: the trabecularness happens. sent7: if the tuition occurs and the lateness happens then the psychogenicness does not occur. sent8: the enfilade does not occur but the trabecularness happens if that the jamming credulity occurs is true. sent9: the fact that the jamming clientage occurs is true. sent10: the facilitation and the jamming mustachio occurs if the psychogenicness does not occur. sent11: that the jamming credulity occurs brings about that the translation does not occur. sent12: if the yawn does not occur then that the enfilade occurs is true. sent13: that the jamming mustachio occurs and the Malay occurs results in that the yawn does not occur.
void -> assump1: Let's assume that the trabecularness does not occur and the jamming credulity does not occur.; assump1 -> int1: the trabecularness does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trabecularness does not occur and the jamming credulity does not occur is not true.; int3 & sent1 -> int4: the translation does not occur.; int4 & sent4 -> int5: the Malainess occurs.; sent7 & sent5 -> int6: the psychogenicness does not occur.; sent10 & int6 -> int7: the facilitation and the jamming mustachio happens.; int7 -> int8: the jamming mustachio occurs.; int5 & int8 -> int9: both the jamming mustachio and the Malay happens.; int9 & sent13 -> int10: the yawn does not occur.; int10 & sent12 -> hypothesis;
the enfilading does not occur.
$hypothesis$ = the enfilading does not occur. ; $context$ = sent1: if that the trabecularness does not occur and the jamming credulity does not occur is wrong the translation does not occur. sent2: if that the jamming credulity does not occur or the trabecularness does not occur or both does not hold then the cyberneticness does not occur. sent3: the tuition happens. sent4: the Malainess occurs if the translation does not occur. sent5: the tuition and the lateness occurs. sent6: the trabecularness happens. sent7: if the tuition occurs and the lateness happens then the psychogenicness does not occur. sent8: the enfilade does not occur but the trabecularness happens if that the jamming credulity occurs is true. sent9: the fact that the jamming clientage occurs is true. sent10: the facilitation and the jamming mustachio occurs if the psychogenicness does not occur. sent11: that the jamming credulity occurs brings about that the translation does not occur. sent12: if the yawn does not occur then that the enfilade occurs is true. sent13: that the jamming mustachio occurs and the Malay occurs results in that the yawn does not occur. ; $proof$ = 
void -> assump1: Let's assume that the trabecularness does not occur and the jamming credulity does not occur.; assump1 -> int1: the trabecularness does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trabecularness does not occur and the jamming credulity does not occur is not true.; int3 & sent1 -> int4: the translation does not occur.; int4 & sent4 -> int5: the Malainess occurs.; sent7 & sent5 -> int6: the psychogenicness does not occur.; sent10 & int6 -> int7: the facilitation and the jamming mustachio happens.; int7 -> int8: the jamming mustachio occurs.; int5 & int8 -> int9: both the jamming mustachio and the Malay happens.; int9 & sent13 -> int10: the yawn does not occur.; int10 & sent12 -> hypothesis; __DISPROVED__