the heiress is not polyhedral and it is not a kind of a calcitonin if that the gerbil is sternutatory is not incorrect.
sent1: something is stative if that it does slice markhor and is not Aberdonian does not hold. sent2: if the gerbil is a postdiluvian it is Aberdonian. sent3: if the heiress is photochemical then that it is polyhedral hold. sent4: the cherry is sternutatory. sent5: the markhor is non-polyhedral if it does slice wiggliness. sent6: the gerbil is sternutatory if it does slice markhor. sent7: if the heiress is stative it is not polyhedral and it is a calcitonin. sent8: if that something does catalyze abuse and does not slice rechauffe is not true then it is composite. sent9: the fact that if the fact that that something is sternutatory but not stative is right is not correct then that it is not a calcitonin does not hold is not wrong. sent10: the heiress is a kind of non-polyhedral thing that is a calcitonin. sent11: the fact that the heiress is postdiluvian is not false if the fact that it is sternutatory and it does not slice markhor does not hold. sent12: the fact that if the galleon is comatose the fact that the galleon is Aberdonian hold is right. sent13: the heiress is postdiluvian. sent14: something is stative if it is Aberdonian. sent15: if the gerbil is a kind of a postdiluvian then it is Bogartian. sent16: the perturbation is not a kind of a nominalist if it is exacta. sent17: if the heiress is stative then it is not polyhedral and it is not a calcitonin. sent18: if the heiress is a calcitonin it is not perfect. sent19: the gerbil is stative. sent20: that the heiress is Capetian and it is polyhedral is false. sent21: the heiress is not polyhedral if the gerbil is sternutatory. sent22: if the gerbil is sternutatory then it is a postdiluvian. sent23: the gerbil does not slice markhor and is non-Aberdonian if the heiress is sternutatory. sent24: that the heiress is Aberdonian is correct if it is unregretful.
void -> assump1: Let's assume that the gerbil is sternutatory.; sent22 & assump1 -> int1: the gerbil is postdiluvian.; int1 & sent2 -> int2: that the gerbil is Aberdonian is correct.; sent1 -> int3: the heiress is stative if the fact that it does slice markhor and is not Aberdonian is wrong.;
$hypothesis$ = the heiress is not polyhedral and it is not a kind of a calcitonin if that the gerbil is sternutatory is not incorrect. ; $context$ = sent1: something is stative if that it does slice markhor and is not Aberdonian does not hold. sent2: if the gerbil is a postdiluvian it is Aberdonian. sent3: if the heiress is photochemical then that it is polyhedral hold. sent4: the cherry is sternutatory. sent5: the markhor is non-polyhedral if it does slice wiggliness. sent6: the gerbil is sternutatory if it does slice markhor. sent7: if the heiress is stative it is not polyhedral and it is a calcitonin. sent8: if that something does catalyze abuse and does not slice rechauffe is not true then it is composite. sent9: the fact that if the fact that that something is sternutatory but not stative is right is not correct then that it is not a calcitonin does not hold is not wrong. sent10: the heiress is a kind of non-polyhedral thing that is a calcitonin. sent11: the fact that the heiress is postdiluvian is not false if the fact that it is sternutatory and it does not slice markhor does not hold. sent12: the fact that if the galleon is comatose the fact that the galleon is Aberdonian hold is right. sent13: the heiress is postdiluvian. sent14: something is stative if it is Aberdonian. sent15: if the gerbil is a kind of a postdiluvian then it is Bogartian. sent16: the perturbation is not a kind of a nominalist if it is exacta. sent17: if the heiress is stative then it is not polyhedral and it is not a calcitonin. sent18: if the heiress is a calcitonin it is not perfect. sent19: the gerbil is stative. sent20: that the heiress is Capetian and it is polyhedral is false. sent21: the heiress is not polyhedral if the gerbil is sternutatory. sent22: if the gerbil is sternutatory then it is a postdiluvian. sent23: the gerbil does not slice markhor and is non-Aberdonian if the heiress is sternutatory. sent24: that the heiress is Aberdonian is correct if it is unregretful. ; $proof$ = 
void -> assump1: Let's assume that the gerbil is sternutatory.; sent22 & assump1 -> int1: the gerbil is postdiluvian.; int1 & sent2 -> int2: that the gerbil is Aberdonian is correct.; sent1 -> int3: the heiress is stative if the fact that it does slice markhor and is not Aberdonian is wrong.; __UNKNOWN__