the masthead is a kind of a teju.
sent1: that if the job does not rally cephalothin the dioxin is not a seriocomedy hold. sent2: if the job does tool starship and is non-ideographic the underseller does snuffle trampler. sent3: the masthead is a teju if it cloisters. sent4: if that either the dioxin is former or it is a seriocomedy or both does not hold then the septuagenarian does not nail underseller. sent5: the job does tool starship and is not ideographic if it does rally cephalothin. sent6: The trampler does not snuffle underseller. sent7: something is not a teju and does rally cephalothin if it does not snuffle trampler. sent8: if that something is not a former and not a seriocomedy is false it does not snuffle trampler. sent9: the fact that if the fact that the job does not snuffle trampler is not wrong the masthead does not snuffle trampler is right. sent10: if the Nevadan is time-release then the masthead is a kind of a cloister. sent11: the underseller does not snuffle trampler. sent12: the fact that the dioxin is a kind of a former and/or it is a seriocomedy is not correct if the job does not rally cephalothin.
void -> assump1: Let's assume that the job rallies cephalothin.; sent5 & assump1 -> int1: that the job tools starship and is non-ideographic is right.; int1 & sent2 -> int2: the underseller snuffles trampler.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the job does not rally cephalothin.; int4 & sent12 -> int5: that either the dioxin is former or it is a seriocomedy or both does not hold.; int5 & sent4 -> int6: that the septuagenarian does not nail underseller is right.;
the masthead is not a teju.
sent7 -> int7: the masthead is not a teju but it does rally cephalothin if it does not snuffle trampler.; sent8 -> int8: if the fact that the job is not a former and it is not a seriocomedy is not right then it does not snuffle trampler.;
$hypothesis$ = the masthead is a kind of a teju. ; $context$ = sent1: that if the job does not rally cephalothin the dioxin is not a seriocomedy hold. sent2: if the job does tool starship and is non-ideographic the underseller does snuffle trampler. sent3: the masthead is a teju if it cloisters. sent4: if that either the dioxin is former or it is a seriocomedy or both does not hold then the septuagenarian does not nail underseller. sent5: the job does tool starship and is not ideographic if it does rally cephalothin. sent6: The trampler does not snuffle underseller. sent7: something is not a teju and does rally cephalothin if it does not snuffle trampler. sent8: if that something is not a former and not a seriocomedy is false it does not snuffle trampler. sent9: the fact that if the fact that the job does not snuffle trampler is not wrong the masthead does not snuffle trampler is right. sent10: if the Nevadan is time-release then the masthead is a kind of a cloister. sent11: the underseller does not snuffle trampler. sent12: the fact that the dioxin is a kind of a former and/or it is a seriocomedy is not correct if the job does not rally cephalothin. ; $proof$ = 
void -> assump1: Let's assume that the job rallies cephalothin.; sent5 & assump1 -> int1: that the job tools starship and is non-ideographic is right.; int1 & sent2 -> int2: the underseller snuffles trampler.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the job does not rally cephalothin.; int4 & sent12 -> int5: that either the dioxin is former or it is a seriocomedy or both does not hold.; int5 & sent4 -> int6: that the septuagenarian does not nail underseller is right.; __UNKNOWN__