that if that the vinegar is not psychogenic is true either the swordtail is not a mombin or it is non-appellative or both is not true.
sent1: either the swordtail is not a mombin or it is not appellative or both if the sweet does not crook nave. sent2: the swordtail is not unwomanly. sent3: the sweet is not a mombin and/or it is not a kind of a Ithaca. sent4: that the sweet is a Ithaca is right if the vinegar is not psychogenic. sent5: the sweet is a kind of a Ithaca. sent6: the swordtail is both not non-appellative and psychogenic if the vinegar is a mombin. sent7: the sweet is a Ithaca and it is unwomanly if the vinegar is not psychogenic. sent8: the swordtail is a Gesner that is psychogenic. sent9: if the vinegar is not psychogenic then the swordtail is a kind of a mombin and/or is not appellative. sent10: something does not crook nave if it is a kind of a Ithaca and it is unwomanly. sent11: the swordtail is not a mombin and/or is appellative. sent12: the swordtail is a kind of a mombin and/or it is not appellative.
void -> assump1: Let's assume that the fact that the vinegar is not psychogenic is not wrong.; sent7 & assump1 -> int1: that the sweet is a Ithaca and is unwomanly is true.; sent10 -> int2: the sweet does not crook nave if it is a Ithaca and it is unwomanly.; int1 & int2 -> int3: the sweet does not crook nave.; int3 & sent1 -> int4: the swordtail either is not a mombin or is not appellative or both.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if that the vinegar is not psychogenic is true either the swordtail is not a mombin or it is non-appellative or both is not true. ; $context$ = sent1: either the swordtail is not a mombin or it is not appellative or both if the sweet does not crook nave. sent2: the swordtail is not unwomanly. sent3: the sweet is not a mombin and/or it is not a kind of a Ithaca. sent4: that the sweet is a Ithaca is right if the vinegar is not psychogenic. sent5: the sweet is a kind of a Ithaca. sent6: the swordtail is both not non-appellative and psychogenic if the vinegar is a mombin. sent7: the sweet is a Ithaca and it is unwomanly if the vinegar is not psychogenic. sent8: the swordtail is a Gesner that is psychogenic. sent9: if the vinegar is not psychogenic then the swordtail is a kind of a mombin and/or is not appellative. sent10: something does not crook nave if it is a kind of a Ithaca and it is unwomanly. sent11: the swordtail is not a mombin and/or is appellative. sent12: the swordtail is a kind of a mombin and/or it is not appellative. ; $proof$ = 
void -> assump1: Let's assume that the fact that the vinegar is not psychogenic is not wrong.; sent7 & assump1 -> int1: that the sweet is a Ithaca and is unwomanly is true.; sent10 -> int2: the sweet does not crook nave if it is a Ithaca and it is unwomanly.; int1 & int2 -> int3: the sweet does not crook nave.; int3 & sent1 -> int4: the swordtail either is not a mombin or is not appellative or both.; [assump1] & int4 -> hypothesis; __DISPROVED__