that there exists something such that if it does redecorate Kyd then it is not congeneric is wrong.
sent1: the moa is not a cadaster. sent2: the nerveroot is a kind of a snatch but it is not a conge. sent3: there is something such that if it redecorates Kyd it is congeneric. sent4: if something is a kind of an alphabetization then it is not a kind of a duck. sent5: the Basque is congeneric and/or is a cadaster if there exists something such that it is a kind of a cadaster. sent6: if the fact that something redecorates Angus or it is not laryngeal or both is false then that it is a cadaster is not incorrect. sent7: that the grounds is congeneric hold. sent8: the moa is congeneric if it does redecorate Kyd. sent9: if something does not redecorate Kyd it is a kind of a color that is not adventuristic. sent10: if something that does redecorate Kyd is not a kind of a cadaster the fact that it is not congeneric is correct. sent11: if something that redecorates Kyd is not a kind of a cadaster it is congeneric. sent12: the moa is practical. sent13: the fact that something either does redecorate Angus or is not laryngeal or both is false if it does not tincture grounds. sent14: the silicate is illegitimate but it does not brachiate. sent15: the tripalmitin does not tincture grounds.
void -> assump1: Let's assume that the moa redecorates Kyd.; assump1 & sent1 -> int1: the moa redecorates Kyd and is not a cadaster.; sent10 -> int2: the moa is not congeneric if it redecorates Kyd and it is not a kind of a cadaster.; int1 & int2 -> int3: the moa is not congeneric.; [assump1] & int3 -> int4: the moa is not congeneric if it does redecorate Kyd.; int4 -> hypothesis;
the flathead is a kind of a color but it is not adventuristic.
sent9 -> int5: if the flathead does not redecorate Kyd then it is a color and it is not adventuristic.; sent6 -> int6: the tripalmitin is a cadaster if that it redecorates Angus or is not laryngeal or both is false.; sent13 -> int7: if the tripalmitin does not tincture grounds that it either does redecorate Angus or is not laryngeal or both is wrong.; int7 & sent15 -> int8: the fact that the tripalmitin redecorates Angus or it is not laryngeal or both does not hold.; int6 & int8 -> int9: that the tripalmitin is a cadaster hold.; int9 -> int10: there exists something such that that it is not a cadaster is not correct.; int10 & sent5 -> int11: the Basque is congeneric and/or it is a cadaster.;
$hypothesis$ = that there exists something such that if it does redecorate Kyd then it is not congeneric is wrong. ; $context$ = sent1: the moa is not a cadaster. sent2: the nerveroot is a kind of a snatch but it is not a conge. sent3: there is something such that if it redecorates Kyd it is congeneric. sent4: if something is a kind of an alphabetization then it is not a kind of a duck. sent5: the Basque is congeneric and/or is a cadaster if there exists something such that it is a kind of a cadaster. sent6: if the fact that something redecorates Angus or it is not laryngeal or both is false then that it is a cadaster is not incorrect. sent7: that the grounds is congeneric hold. sent8: the moa is congeneric if it does redecorate Kyd. sent9: if something does not redecorate Kyd it is a kind of a color that is not adventuristic. sent10: if something that does redecorate Kyd is not a kind of a cadaster the fact that it is not congeneric is correct. sent11: if something that redecorates Kyd is not a kind of a cadaster it is congeneric. sent12: the moa is practical. sent13: the fact that something either does redecorate Angus or is not laryngeal or both is false if it does not tincture grounds. sent14: the silicate is illegitimate but it does not brachiate. sent15: the tripalmitin does not tincture grounds. ; $proof$ = 
void -> assump1: Let's assume that the moa redecorates Kyd.; assump1 & sent1 -> int1: the moa redecorates Kyd and is not a cadaster.; sent10 -> int2: the moa is not congeneric if it redecorates Kyd and it is not a kind of a cadaster.; int1 & int2 -> int3: the moa is not congeneric.; [assump1] & int3 -> int4: the moa is not congeneric if it does redecorate Kyd.; int4 -> hypothesis; __DISPROVED__