the Maya is not an audition.
sent1: if something is not Monacan and it is not a kind of a Langtry it does not audition. sent2: if the wave is a spirited the semifinalist is ventral. sent3: the Maya is not Monacan and it is not a kind of a Langtry if the semifinalist is not a clearing. sent4: the president is not a Bruneian if there exists something such that it is an aim. sent5: if the president is a hyaline the wave is a spirited. sent6: if something is ventral it does not clear. sent7: if the fact that the president is not a kind of a hyaline hold the fact that that it does not compact misfeasance and it seats is correct is not right. sent8: if the president is a kind of a Bruneian but it is not ventral the switchboard is ventral. sent9: if the president is not Monacan then the fact that it does not compact misfeasance and it is a kind of a Langtry is not true. sent10: the repair aims. sent11: if the president does audition then the Maya audition.
void -> assump1: Let's assume that the president is not a hyaline.; sent7 & assump1 -> int1: the fact that the president does not compact misfeasance but it is a seated is not correct.; sent10 -> int2: there is something such that it is an aim.; int2 & sent4 -> int3: the president is not Bruneian.; sent6 -> int4: if the semifinalist is ventral then it is not a clearing.; sent1 -> int5: if the Maya is not Monacan and is not a Langtry it is not a kind of an audition.;
the switchboard is ventral.
$hypothesis$ = the Maya is not an audition. ; $context$ = sent1: if something is not Monacan and it is not a kind of a Langtry it does not audition. sent2: if the wave is a spirited the semifinalist is ventral. sent3: the Maya is not Monacan and it is not a kind of a Langtry if the semifinalist is not a clearing. sent4: the president is not a Bruneian if there exists something such that it is an aim. sent5: if the president is a hyaline the wave is a spirited. sent6: if something is ventral it does not clear. sent7: if the fact that the president is not a kind of a hyaline hold the fact that that it does not compact misfeasance and it seats is correct is not right. sent8: if the president is a kind of a Bruneian but it is not ventral the switchboard is ventral. sent9: if the president is not Monacan then the fact that it does not compact misfeasance and it is a kind of a Langtry is not true. sent10: the repair aims. sent11: if the president does audition then the Maya audition. ; $proof$ = 
void -> assump1: Let's assume that the president is not a hyaline.; sent7 & assump1 -> int1: the fact that the president does not compact misfeasance but it is a seated is not correct.; sent10 -> int2: there is something such that it is an aim.; int2 & sent4 -> int3: the president is not Bruneian.; sent6 -> int4: if the semifinalist is ventral then it is not a clearing.; sent1 -> int5: if the Maya is not Monacan and is not a Langtry it is not a kind of an audition.; __UNKNOWN__