that the Stone is a lark and it is a complexion is incorrect.
sent1: the fact that the Janissary does not unmake fifteenth hold if that the epileptic is not a gravitation but a snorkel does not hold. sent2: the fact that the epileptic is a gravitation and it does snorkel is not correct. sent3: if the Stone is a gravitation or it does snorkel or both the epileptic is not a kind of a lark. sent4: the constable is a Tahitian. sent5: if the epileptic is not a snorkel that the Stone is not a kind of a gravitation is not false. sent6: the constable is not a Tahitian if the epileptic snorkels and/or unmakes invention. sent7: the constable is not a Tahitian if the epileptic does unmake invention. sent8: the epileptic is not a gravitation. sent9: The bounce does eliminate Stone. sent10: if the fishpond does unmake fifteenth then the Janissary is a kind of a Tahitian. sent11: the fact that the Stone is a kind of a gravitation that is a lark is not correct. sent12: the Janissary does not unmake fifteenth if the fact that the epileptic is a gravitation is true. sent13: the Stone does eliminate bounce. sent14: if the Janissary does not unmake fifteenth then the fishpond is a kind of a seeker. sent15: if the fishpond is a seeker then the Stone is a lark. sent16: the epileptic eliminates bounce. sent17: the epileptic is not a snorkel if that that the constable does not snorkel but it does unmake invention is true is not true. sent18: the fishpond unmakes fifteenth but it is not a kind of a seeker if it eliminates bounce. sent19: the Stone does complexion if the fact that it eliminates bounce is right. sent20: the epileptic does not unmake invention and is a complexion.
void -> assump1: Let's assume that the epileptic is both not a gravitation and a snorkel.; assump1 -> int1: the epileptic is a snorkel.; int1 -> int2: the epileptic snorkels and/or does unmake invention.; int2 & sent6 -> int3: the constable is not a Tahitian.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the epileptic is not a gravitation but it is a snorkel does not hold.; int5 & sent1 -> int6: the Janissary does not unmake fifteenth.; int6 & sent14 -> int7: the fishpond is a seeker.; int7 & sent15 -> int8: the Stone is a lark.; sent19 & sent13 -> int9: that the Stone complexions is not incorrect.; int8 & int9 -> hypothesis;
that the Stone is a lark and it is a complexion is false.
$hypothesis$ = that the Stone is a lark and it is a complexion is incorrect. ; $context$ = sent1: the fact that the Janissary does not unmake fifteenth hold if that the epileptic is not a gravitation but a snorkel does not hold. sent2: the fact that the epileptic is a gravitation and it does snorkel is not correct. sent3: if the Stone is a gravitation or it does snorkel or both the epileptic is not a kind of a lark. sent4: the constable is a Tahitian. sent5: if the epileptic is not a snorkel that the Stone is not a kind of a gravitation is not false. sent6: the constable is not a Tahitian if the epileptic snorkels and/or unmakes invention. sent7: the constable is not a Tahitian if the epileptic does unmake invention. sent8: the epileptic is not a gravitation. sent9: The bounce does eliminate Stone. sent10: if the fishpond does unmake fifteenth then the Janissary is a kind of a Tahitian. sent11: the fact that the Stone is a kind of a gravitation that is a lark is not correct. sent12: the Janissary does not unmake fifteenth if the fact that the epileptic is a gravitation is true. sent13: the Stone does eliminate bounce. sent14: if the Janissary does not unmake fifteenth then the fishpond is a kind of a seeker. sent15: if the fishpond is a seeker then the Stone is a lark. sent16: the epileptic eliminates bounce. sent17: the epileptic is not a snorkel if that that the constable does not snorkel but it does unmake invention is true is not true. sent18: the fishpond unmakes fifteenth but it is not a kind of a seeker if it eliminates bounce. sent19: the Stone does complexion if the fact that it eliminates bounce is right. sent20: the epileptic does not unmake invention and is a complexion. ; $proof$ = 
void -> assump1: Let's assume that the epileptic is both not a gravitation and a snorkel.; assump1 -> int1: the epileptic is a snorkel.; int1 -> int2: the epileptic snorkels and/or does unmake invention.; int2 & sent6 -> int3: the constable is not a Tahitian.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the epileptic is not a gravitation but it is a snorkel does not hold.; int5 & sent1 -> int6: the Janissary does not unmake fifteenth.; int6 & sent14 -> int7: the fishpond is a seeker.; int7 & sent15 -> int8: the Stone is a lark.; sent19 & sent13 -> int9: that the Stone complexions is not incorrect.; int8 & int9 -> hypothesis; __DISPROVED__