the Ovulen is both Cuban and not a dissolution.
sent1: if that the Ovulen is both not a ayin and not canicular is wrong that it is expressionist is not incorrect. sent2: the Ovulen is not an expressionist. sent3: that the Ovulen is a kind of a ayin that is not canicular is not correct. sent4: a euphoric thing that is cucurbitaceous is not a dissolution. sent5: the fact that the Ovulen is not a kind of a ayin and is not canicular does not hold if it is not euphoric. sent6: the Ovulen is cucurbitaceous. sent7: the Ovulen is a kind of a Cuban.
void -> assump1: Let's assume that the Ovulen is not euphoric.; sent5 & assump1 -> int1: that the Ovulen is not a ayin and not canicular does not hold.; int1 & sent1 -> int2: the Ovulen is an expressionist.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Ovulen is not non-euphoric.; int4 & sent6 -> int5: the Ovulen is euphoric and it is cucurbitaceous.; sent4 -> int6: the Ovulen is not a dissolution if it is both euphoric and not non-cucurbitaceous.; int5 & int6 -> int7: the Ovulen is not a dissolution.; int7 & sent7 -> hypothesis;
$hypothesis$ = the Ovulen is both Cuban and not a dissolution. ; $context$ = sent1: if that the Ovulen is both not a ayin and not canicular is wrong that it is expressionist is not incorrect. sent2: the Ovulen is not an expressionist. sent3: that the Ovulen is a kind of a ayin that is not canicular is not correct. sent4: a euphoric thing that is cucurbitaceous is not a dissolution. sent5: the fact that the Ovulen is not a kind of a ayin and is not canicular does not hold if it is not euphoric. sent6: the Ovulen is cucurbitaceous. sent7: the Ovulen is a kind of a Cuban. ; $proof$ = 
void -> assump1: Let's assume that the Ovulen is not euphoric.; sent5 & assump1 -> int1: that the Ovulen is not a ayin and not canicular does not hold.; int1 & sent1 -> int2: the Ovulen is an expressionist.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Ovulen is not non-euphoric.; int4 & sent6 -> int5: the Ovulen is euphoric and it is cucurbitaceous.; sent4 -> int6: the Ovulen is not a dissolution if it is both euphoric and not non-cucurbitaceous.; int5 & int6 -> int7: the Ovulen is not a dissolution.; int7 & sent7 -> hypothesis; __PROVED__