there exists something such that if the fact that it is postwar and is not a stentor is incorrect then it is not a kind of a dihybrid.
sent1: there is something such that if it is non-postwar it is not a kind of a dihybrid. sent2: if the feathertop levitates but it is not a VI it is not a dihybrid. sent3: there exists something such that if the fact that it is postwar and it is a stentor does not hold then it is not a kind of a dihybrid. sent4: there is something such that if it is postwar and it is not a kind of a stentor then it is not a dihybrid. sent5: if that something is both postwar and not a stentor is false then it is not a dihybrid. sent6: something is a dihybrid if the fact that it is postwar thing that is not a stentor is wrong. sent7: something is not a dihybrid if it is postwar and not a stentor. sent8: if the feathertop is a kind of a stentor then the fact that it is not a dihybrid hold. sent9: if the feathertop is postwar but it is not a hydroxide then it does not dogmatize injector. sent10: if the fact that something is a kind of a balboa that does not dogmatize necked does not hold then it does not staple luncher. sent11: there exists something such that if that it is postwar and not a stentor is not true then it is a dihybrid. sent12: the feathertop does acquaint unworthiness if the fact that it is postwar but not a luncher does not hold.
sent5 -> int1: the fact that the feathertop is not the dihybrid if the fact that the feathertop is postwar but it is not a stentor is not right is not false.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is postwar and is not a stentor is incorrect then it is not a kind of a dihybrid. ; $context$ = sent1: there is something such that if it is non-postwar it is not a kind of a dihybrid. sent2: if the feathertop levitates but it is not a VI it is not a dihybrid. sent3: there exists something such that if the fact that it is postwar and it is a stentor does not hold then it is not a kind of a dihybrid. sent4: there is something such that if it is postwar and it is not a kind of a stentor then it is not a dihybrid. sent5: if that something is both postwar and not a stentor is false then it is not a dihybrid. sent6: something is a dihybrid if the fact that it is postwar thing that is not a stentor is wrong. sent7: something is not a dihybrid if it is postwar and not a stentor. sent8: if the feathertop is a kind of a stentor then the fact that it is not a dihybrid hold. sent9: if the feathertop is postwar but it is not a hydroxide then it does not dogmatize injector. sent10: if the fact that something is a kind of a balboa that does not dogmatize necked does not hold then it does not staple luncher. sent11: there exists something such that if that it is postwar and not a stentor is not true then it is a dihybrid. sent12: the feathertop does acquaint unworthiness if the fact that it is postwar but not a luncher does not hold. ; $proof$ = 
sent5 -> int1: the fact that the feathertop is not the dihybrid if the fact that the feathertop is postwar but it is not a stentor is not right is not false.; int1 -> hypothesis; __PROVED__