there exists something such that if the fact that it does not instruct Penutian is correct that it is not inferential is correct.
sent1: the fact that there exists something such that if the fact that it does not instruct Penutian is true it is not non-inferential is not false. sent2: there exists something such that if it instructs Penutian then it is not inferential. sent3: if the fact that that the wellpoint is inferential and it instructs Penutian hold is not right then the mailsorter does not instructs Penutian. sent4: if the candlenut is not inferential it does not ramble tramline. sent5: if the candlenut instructs Penutian it is not inferential. sent6: if the candlenut is Gaussian it is inferential. sent7: if something is a Surrey then it is adenoidal. sent8: something that is inferential does instruct Penutian. sent9: if something is a jockey then it is hemodynamics. sent10: if the candlenut does not instruct Penutian then it is inferential. sent11: the commissioner is inferential.
sent8 -> int1: if the candlenut is inferential it does instruct Penutian.; void -> assump1: Let's assume that the candlenut is inferential.; int1 & assump1 -> int2: the candlenut instructs Penutian.; void -> assump2: Let's assume that the candlenut does not instruct Penutian.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the candlenut is not inferential.; [assump2] & int4 -> int5: the fact that the candlenut is inferential is wrong if it does not instruct Penutian.; int5 -> hypothesis;
the mailsorter does not instruct Penutian.
$hypothesis$ = there exists something such that if the fact that it does not instruct Penutian is correct that it is not inferential is correct. ; $context$ = sent1: the fact that there exists something such that if the fact that it does not instruct Penutian is true it is not non-inferential is not false. sent2: there exists something such that if it instructs Penutian then it is not inferential. sent3: if the fact that that the wellpoint is inferential and it instructs Penutian hold is not right then the mailsorter does not instructs Penutian. sent4: if the candlenut is not inferential it does not ramble tramline. sent5: if the candlenut instructs Penutian it is not inferential. sent6: if the candlenut is Gaussian it is inferential. sent7: if something is a Surrey then it is adenoidal. sent8: something that is inferential does instruct Penutian. sent9: if something is a jockey then it is hemodynamics. sent10: if the candlenut does not instruct Penutian then it is inferential. sent11: the commissioner is inferential. ; $proof$ = 
sent8 -> int1: if the candlenut is inferential it does instruct Penutian.; void -> assump1: Let's assume that the candlenut is inferential.; int1 & assump1 -> int2: the candlenut instructs Penutian.; void -> assump2: Let's assume that the candlenut does not instruct Penutian.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the candlenut is not inferential.; [assump2] & int4 -> int5: the fact that the candlenut is inferential is wrong if it does not instruct Penutian.; int5 -> hypothesis; __PROVED__