the fact that the fact that the gloxinia is both not a dialectic and zygotic is not right if the fact that the benzoin is not a Cincinnati is right is wrong.
sent1: if the benzoin is not a dialectic then the fact that the gloxinia is not a kind of a Cincinnati but it is zygotic is false. sent2: the benzoin is not a kind of a Cincinnati and is dialectic. sent3: the gloxinia is not a dialectic if it is not a kind of a Cincinnati and it is zygotic. sent4: the benzoin is not a Cincinnati if it is a dialectic and it is zygotic. sent5: if the benzoin is not a dialectic then that the gloxinia is mealy thing that is a kind of a Cincinnati does not hold. sent6: the gloxinia is zygotic. sent7: the benzoin does foster. sent8: if the benzoin is not a dialectic but it is zygotic it is not a Cincinnati. sent9: that the fact that the benzoin is non-mealy but not non-zygotic is not right is correct if the gloxinia is a Cincinnati. sent10: if the gloxinia is not mealy then the benzoin is a Cincinnati. sent11: the benzoin is not zygotic but it is mealy if the gloxinia is not a Cincinnati. sent12: the Scorpio is not a kind of a Cincinnati. sent13: the elevation is not a Cincinnati. sent14: if the gloxinia is not zygotic that the benzoin is both mealy and a Cincinnati is false. sent15: the gloxinia is not a photolithography. sent16: if the gloxinia is not dialectic but it is zygotic then it is not mealy. sent17: the benzoin is not a commune but it is a tubeless. sent18: the benzoin is both not a Cincinnati and zygotic.
void -> assump2: Let's assume that the gloxinia is not a dialectic but zygotic.; sent16 & assump2 -> int1: the gloxinia is not mealy.; int1 & sent10 -> int2: that the benzoin is a Cincinnati is not incorrect.; void -> assump1: Let's assume that the benzoin is not a kind of a Cincinnati.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the gloxinia is not a dialectic and is zygotic is incorrect.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the fact that the gloxinia is both not a dialectic and zygotic is not right if the fact that the benzoin is not a Cincinnati is right is wrong. ; $context$ = sent1: if the benzoin is not a dialectic then the fact that the gloxinia is not a kind of a Cincinnati but it is zygotic is false. sent2: the benzoin is not a kind of a Cincinnati and is dialectic. sent3: the gloxinia is not a dialectic if it is not a kind of a Cincinnati and it is zygotic. sent4: the benzoin is not a Cincinnati if it is a dialectic and it is zygotic. sent5: if the benzoin is not a dialectic then that the gloxinia is mealy thing that is a kind of a Cincinnati does not hold. sent6: the gloxinia is zygotic. sent7: the benzoin does foster. sent8: if the benzoin is not a dialectic but it is zygotic it is not a Cincinnati. sent9: that the fact that the benzoin is non-mealy but not non-zygotic is not right is correct if the gloxinia is a Cincinnati. sent10: if the gloxinia is not mealy then the benzoin is a Cincinnati. sent11: the benzoin is not zygotic but it is mealy if the gloxinia is not a Cincinnati. sent12: the Scorpio is not a kind of a Cincinnati. sent13: the elevation is not a Cincinnati. sent14: if the gloxinia is not zygotic that the benzoin is both mealy and a Cincinnati is false. sent15: the gloxinia is not a photolithography. sent16: if the gloxinia is not dialectic but it is zygotic then it is not mealy. sent17: the benzoin is not a commune but it is a tubeless. sent18: the benzoin is both not a Cincinnati and zygotic. ; $proof$ = 
void -> assump2: Let's assume that the gloxinia is not a dialectic but zygotic.; sent16 & assump2 -> int1: the gloxinia is not mealy.; int1 & sent10 -> int2: that the benzoin is a Cincinnati is not incorrect.; void -> assump1: Let's assume that the benzoin is not a kind of a Cincinnati.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the gloxinia is not a dialectic and is zygotic is incorrect.; [assump1] & int4 -> hypothesis; __DISPROVED__