the ethyl is coreferential.
sent1: if the ethyl is not wingless but it is antimagnetic the emitter is not antimagnetic. sent2: if something is not a bola then it does not post Kolami. sent3: the ethyl is winged thing that is antimagnetic if the mutation is not coreferential. sent4: everything does not post cotillion and it is not antimagnetic. sent5: the fact that the salesperson does post cotillion and is not antimagnetic is incorrect. sent6: if a rich is hierarchical the salesperson does post Kolami. sent7: something does not card anaphase and is wingless if it is antimagnetic. sent8: something that does not think flighted is not a kind of a DOS. sent9: that the mutation is wingless if the ethyl is coreferential hold. sent10: there exists something such that it is both a rich and hierarchical. sent11: if there exists something such that it is wingless the airline does card anaphase but it is not a bola. sent12: that everything does not post cotillion is correct. sent13: something is coreferential and wingless if it is not a bola. sent14: the airline is antimagnetic and it is a kind of a necrology if it does not total. sent15: the airline cards anaphase. sent16: the mutation is not coreferential if that the airline is not a bola and/or it is coreferential is not right. sent17: the mutation is coreferential if the salesperson does not post cotillion and/or it does post Kolami. sent18: the ethyl is coreferential if the mutation is coreferential but it is not a kind of a bola. sent19: that the salesperson does post cotillion and is not antimagnetic does not hold if the airline does not post Kolami. sent20: that the salesperson does not post cotillion and it is not antimagnetic is incorrect if the airline does not post Kolami. sent21: that the airline does total is wrong if that it does not connect is right. sent22: if something does not card anaphase then the fact that it is not a bola or it is coreferential or both is incorrect.
void -> assump1: Let's assume that the ethyl is coreferential.; sent9 & assump1 -> int1: the mutation is wingless.; int1 -> int2: there exists something such that it is wingless.; int2 & sent11 -> int3: the airline cards anaphase and is not a bola.; int3 -> int4: the airline is not a bola.; sent2 -> int5: that the airline does not post Kolami is right if it is not a bola.; int4 & int5 -> int6: the airline does not post Kolami.; int6 & sent20 -> int7: the fact that the salesperson does not post cotillion and it is not antimagnetic is false.; sent4 -> int8: the salesperson does not post cotillion and is not antimagnetic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the emitter is not antimagnetic.
sent22 -> int10: if the airline does not card anaphase then that it is not a kind of a bola or is coreferential or both is wrong.;
$hypothesis$ = the ethyl is coreferential. ; $context$ = sent1: if the ethyl is not wingless but it is antimagnetic the emitter is not antimagnetic. sent2: if something is not a bola then it does not post Kolami. sent3: the ethyl is winged thing that is antimagnetic if the mutation is not coreferential. sent4: everything does not post cotillion and it is not antimagnetic. sent5: the fact that the salesperson does post cotillion and is not antimagnetic is incorrect. sent6: if a rich is hierarchical the salesperson does post Kolami. sent7: something does not card anaphase and is wingless if it is antimagnetic. sent8: something that does not think flighted is not a kind of a DOS. sent9: that the mutation is wingless if the ethyl is coreferential hold. sent10: there exists something such that it is both a rich and hierarchical. sent11: if there exists something such that it is wingless the airline does card anaphase but it is not a bola. sent12: that everything does not post cotillion is correct. sent13: something is coreferential and wingless if it is not a bola. sent14: the airline is antimagnetic and it is a kind of a necrology if it does not total. sent15: the airline cards anaphase. sent16: the mutation is not coreferential if that the airline is not a bola and/or it is coreferential is not right. sent17: the mutation is coreferential if the salesperson does not post cotillion and/or it does post Kolami. sent18: the ethyl is coreferential if the mutation is coreferential but it is not a kind of a bola. sent19: that the salesperson does post cotillion and is not antimagnetic does not hold if the airline does not post Kolami. sent20: that the salesperson does not post cotillion and it is not antimagnetic is incorrect if the airline does not post Kolami. sent21: that the airline does total is wrong if that it does not connect is right. sent22: if something does not card anaphase then the fact that it is not a bola or it is coreferential or both is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the ethyl is coreferential.; sent9 & assump1 -> int1: the mutation is wingless.; int1 -> int2: there exists something such that it is wingless.; int2 & sent11 -> int3: the airline cards anaphase and is not a bola.; int3 -> int4: the airline is not a bola.; sent2 -> int5: that the airline does not post Kolami is right if it is not a bola.; int4 & int5 -> int6: the airline does not post Kolami.; int6 & sent20 -> int7: the fact that the salesperson does not post cotillion and it is not antimagnetic is false.; sent4 -> int8: the salesperson does not post cotillion and is not antimagnetic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__