the sorrel is not baptismal.
sent1: the panda does parallel sorrel if the sorrel is not a hybridization. sent2: the panda does parallel sorrel if the sorrel is not rationalist. sent3: The sorrel does not parallel panda. sent4: the borsch does not rejuvenate. sent5: that that something is offshore and does not parallel sorrel does not hold if it is not a kind of a hybridization is correct. sent6: the panda does not parallel sorrel. sent7: the fact that either the sorrel does not resent chauvinist or it is not Neanderthal or both is not right. sent8: the sorrel is baptismal if the fact that it is not a hybridization and/or is not rationalist is wrong. sent9: if the borsch does not rejuvenate then the fact that it is not baptismal or it does not wrap or both is incorrect. sent10: if the borsch does parallel sorrel then the sorrel is rationalist.
void -> assump1: Let's assume that the sorrel is not a hybridization or it is not rationalist or both.; assump1 & sent1 & sent2 -> int1: the panda parallels sorrel.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the sorrel is not a hybridization or it is not rationalist or both is false.; int3 & sent8 -> hypothesis;
the sorrel is not baptismal.
$hypothesis$ = the sorrel is not baptismal. ; $context$ = sent1: the panda does parallel sorrel if the sorrel is not a hybridization. sent2: the panda does parallel sorrel if the sorrel is not rationalist. sent3: The sorrel does not parallel panda. sent4: the borsch does not rejuvenate. sent5: that that something is offshore and does not parallel sorrel does not hold if it is not a kind of a hybridization is correct. sent6: the panda does not parallel sorrel. sent7: the fact that either the sorrel does not resent chauvinist or it is not Neanderthal or both is not right. sent8: the sorrel is baptismal if the fact that it is not a hybridization and/or is not rationalist is wrong. sent9: if the borsch does not rejuvenate then the fact that it is not baptismal or it does not wrap or both is incorrect. sent10: if the borsch does parallel sorrel then the sorrel is rationalist. ; $proof$ = 
void -> assump1: Let's assume that the sorrel is not a hybridization or it is not rationalist or both.; assump1 & sent1 & sent2 -> int1: the panda parallels sorrel.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the sorrel is not a hybridization or it is not rationalist or both is false.; int3 & sent8 -> hypothesis; __DISPROVED__