the Marks is not trophoblastic.
sent1: if something that does wean Mitford is Protestant then it is not trophoblastic. sent2: the coordinator is not subscript. sent3: that the coordinator is not dyslexic is not incorrect. sent4: if the coordinator is a uplink but it is not a Protestant the nomogram is not a Protestant. sent5: the nomogram is avitaminotic. sent6: if that the Marks is not a brit and it is not a Protestant hold the coordinator is a uplink. sent7: if the Marks is both not a uplink and not trophoblastic the coordinator is not trophoblastic. sent8: the Marks is non-avitaminotic if the nomogram is not non-trophoblastic but it is not non-avitaminotic. sent9: the coordinator is not a Finnish. sent10: if the coordinator is a kind of a Protestant and is not trophoblastic the Marks is not trophoblastic. sent11: that the nomogram is not a Protestant is right if the coordinator is not a uplink and is Protestant. sent12: the coordinator is not avitaminotic. sent13: the nomogram is not a kind of a Protestant if the coordinator is not a uplink but it is a kind of a Protestant. sent14: the coordinator is not wifely. sent15: the coordinator is not a uplink and not a Protestant. sent16: the Marks is not avitaminotic and is not a kind of a brit if it is not trophoblastic. sent17: if the Marks is both not a brit and not a Protestant then the coordinator is not a Protestant. sent18: the coordinator is not a kind of a uplink if the Marks is a brit and not a uplink. sent19: if the coordinator is a uplink and is not avitaminotic then the Marks is not avitaminotic. sent20: the nomogram is Protestant if the Marks is not avitaminotic and not a brit.
void -> assump1: Let's assume that that the Marks is not trophoblastic is not wrong.; sent16 & assump1 -> int1: the Marks is not avitaminotic and it is not a brit.; int1 & sent20 -> int2: the nomogram is Protestant.; sent11 & sent15 -> int3: the nomogram is not a Protestant.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the Marks is not trophoblastic.
sent1 -> int5: if the Marks does wean Mitford and is a kind of a Protestant it is not trophoblastic.; sent9 -> int6: there exists something such that it is not a kind of a Finnish.;
$hypothesis$ = the Marks is not trophoblastic. ; $context$ = sent1: if something that does wean Mitford is Protestant then it is not trophoblastic. sent2: the coordinator is not subscript. sent3: that the coordinator is not dyslexic is not incorrect. sent4: if the coordinator is a uplink but it is not a Protestant the nomogram is not a Protestant. sent5: the nomogram is avitaminotic. sent6: if that the Marks is not a brit and it is not a Protestant hold the coordinator is a uplink. sent7: if the Marks is both not a uplink and not trophoblastic the coordinator is not trophoblastic. sent8: the Marks is non-avitaminotic if the nomogram is not non-trophoblastic but it is not non-avitaminotic. sent9: the coordinator is not a Finnish. sent10: if the coordinator is a kind of a Protestant and is not trophoblastic the Marks is not trophoblastic. sent11: that the nomogram is not a Protestant is right if the coordinator is not a uplink and is Protestant. sent12: the coordinator is not avitaminotic. sent13: the nomogram is not a kind of a Protestant if the coordinator is not a uplink but it is a kind of a Protestant. sent14: the coordinator is not wifely. sent15: the coordinator is not a uplink and not a Protestant. sent16: the Marks is not avitaminotic and is not a kind of a brit if it is not trophoblastic. sent17: if the Marks is both not a brit and not a Protestant then the coordinator is not a Protestant. sent18: the coordinator is not a kind of a uplink if the Marks is a brit and not a uplink. sent19: if the coordinator is a uplink and is not avitaminotic then the Marks is not avitaminotic. sent20: the nomogram is Protestant if the Marks is not avitaminotic and not a brit. ; $proof$ = 
void -> assump1: Let's assume that that the Marks is not trophoblastic is not wrong.; sent16 & assump1 -> int1: the Marks is not avitaminotic and it is not a brit.; int1 & sent20 -> int2: the nomogram is Protestant.; sent11 & sent15 -> int3: the nomogram is not a Protestant.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__