the fact that the piculet is not chaetal but it is nonprescription is not correct.
sent1: the herbalist is a bannister. sent2: the enlarger is not nonprescription if the invagination is not a manioc. sent3: if the piculet is not zoological then the fact that it is extralinguistic and it is a Gastrophryne is incorrect. sent4: that the fact that the piculet is chaetal and it is nonprescription does not hold is true if the enlarger is not nonprescription. sent5: that the fact that the piculet is not chaetal and is nonprescription is correct is not correct if that the enlarger is not nonprescription is not incorrect. sent6: if something is a kind of a Gastrophryne then it is both not a manioc and not a bannister. sent7: something is not chaetal but it is nonprescription if it is a kind of a bannister. sent8: the invagination is a bannister. sent9: the cornpone is a Gastrophryne. sent10: if that the invagination is not a kind of a manioc and is not a kind of a bannister is not false the enlarger is not a manioc.
void -> assump1: Let's assume that the invagination is a manioc.; sent8 & assump1 -> int1: the invagination is a bannister and it is a manioc.;
the piculet is not chaetal but it is nonprescription.
sent7 -> int2: the piculet is not chaetal and is nonprescription if it is a bannister.;
$hypothesis$ = the fact that the piculet is not chaetal but it is nonprescription is not correct. ; $context$ = sent1: the herbalist is a bannister. sent2: the enlarger is not nonprescription if the invagination is not a manioc. sent3: if the piculet is not zoological then the fact that it is extralinguistic and it is a Gastrophryne is incorrect. sent4: that the fact that the piculet is chaetal and it is nonprescription does not hold is true if the enlarger is not nonprescription. sent5: that the fact that the piculet is not chaetal and is nonprescription is correct is not correct if that the enlarger is not nonprescription is not incorrect. sent6: if something is a kind of a Gastrophryne then it is both not a manioc and not a bannister. sent7: something is not chaetal but it is nonprescription if it is a kind of a bannister. sent8: the invagination is a bannister. sent9: the cornpone is a Gastrophryne. sent10: if that the invagination is not a kind of a manioc and is not a kind of a bannister is not false the enlarger is not a manioc. ; $proof$ = 
void -> assump1: Let's assume that the invagination is a manioc.; sent8 & assump1 -> int1: the invagination is a bannister and it is a manioc.; __UNKNOWN__