the fact that the letterer is not non-subclinical but it is not a Sciaena is not right.
sent1: the ephemeron is not lowborn and/or it is a neoromanticism. sent2: the fact that the ephemeron is not lowborn and is not a kind of a damson is not correct if the letterer is an indecisiveness. sent3: if a subclinical thing is not a Sciaena it is an indecisiveness. sent4: the fact that there exists nothing that either does group opopanax or is a kind of a comparative or both hold. sent5: something is not a kind of a damson if that it does group opopanax or it is a comparative or both is not true. sent6: if the ephemeron either is not lowborn or is a neoromanticism or both then the fact that it is not lowborn is not wrong.
sent3 -> int1: if the letterer is not non-subclinical but it is not a Sciaena then it is an indecisiveness.; void -> assump1: Let's assume that the letterer is subclinical but it is not a Sciaena.; int1 & assump1 -> int2: the letterer is an indecisiveness.; int2 & sent2 -> int3: that the ephemeron is not lowborn and it is not a damson is incorrect.; sent6 & sent1 -> int4: the ephemeron is not lowborn.; sent5 -> int5: if that either the ephemeron groups opopanax or it is a comparative or both is incorrect then it is not a damson.; sent4 -> int6: that the ephemeron groups opopanax and/or it is comparative is not right.; int5 & int6 -> int7: the fact that the ephemeron is not a damson is right.; int4 & int7 -> int8: the ephemeron is non-lowborn and it is not a damson.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that the letterer is not non-subclinical but it is not a Sciaena is not right. ; $context$ = sent1: the ephemeron is not lowborn and/or it is a neoromanticism. sent2: the fact that the ephemeron is not lowborn and is not a kind of a damson is not correct if the letterer is an indecisiveness. sent3: if a subclinical thing is not a Sciaena it is an indecisiveness. sent4: the fact that there exists nothing that either does group opopanax or is a kind of a comparative or both hold. sent5: something is not a kind of a damson if that it does group opopanax or it is a comparative or both is not true. sent6: if the ephemeron either is not lowborn or is a neoromanticism or both then the fact that it is not lowborn is not wrong. ; $proof$ = 
sent3 -> int1: if the letterer is not non-subclinical but it is not a Sciaena then it is an indecisiveness.; void -> assump1: Let's assume that the letterer is subclinical but it is not a Sciaena.; int1 & assump1 -> int2: the letterer is an indecisiveness.; int2 & sent2 -> int3: that the ephemeron is not lowborn and it is not a damson is incorrect.; sent6 & sent1 -> int4: the ephemeron is not lowborn.; sent5 -> int5: if that either the ephemeron groups opopanax or it is a comparative or both is incorrect then it is not a damson.; sent4 -> int6: that the ephemeron groups opopanax and/or it is comparative is not right.; int5 & int6 -> int7: the fact that the ephemeron is not a damson is right.; int4 & int7 -> int8: the ephemeron is non-lowborn and it is not a damson.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__