that the enchantress is a Megapodius and/or it does not liquefy thwart is not true.
sent1: if something is doctoral and it is an astronaut then it does not raven thiopental. sent2: if something is an absorbent then that it is a kind of a Megapodius and/or does not liquefy thwart is not right. sent3: if something is not an absorbent then it liquefies Vichy. sent4: the container does not aurify quincentennial. sent5: the outstation is lactic. sent6: that the clone is doctoral and it is an astronaut is correct if the container does not aurify quincentennial. sent7: something is a Megapodius and/or it does not liquefy thwart if it is a kind of a natural. sent8: if the enchantress does liquefy brewery it is not unnatural. sent9: the enchantress does liquefy brewery if the clone does liquefy Vichy. sent10: either something is lactic or it is not a kind of a natural or both if it does not raven thiopental. sent11: the enchantress is not natural if the clone is lactic. sent12: the container is a Shreveport and not a sucker if the clone is an absorbent. sent13: that the fact that the fact that something does not liquefy Vichy and does not liquefy brewery is correct is not right if it is not a natural is right. sent14: if the outstation is lactic the fact that the container is a Shreveport but not a sucker is not right. sent15: the clone is natural or a Shreveport or both if it is an absorbent.
void -> assump1: Let's assume that the clone is an absorbent.; sent12 & assump1 -> int1: the container is a Shreveport but it is not a kind of a sucker.; sent14 & sent5 -> int2: that the container is a kind of a Shreveport but it is not a sucker is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clone is not absorbent.; sent3 -> int5: if the clone is not a kind of an absorbent then it does liquefy Vichy.; int4 & int5 -> int6: the clone liquefies Vichy.; int6 & sent9 -> int7: the enchantress does liquefy brewery.; int7 & sent8 -> int8: the enchantress is a natural.; sent7 -> int9: if the enchantress is a natural it is a Megapodius and/or it does not liquefy thwart.; int8 & int9 -> hypothesis;
the fact that either the enchantress is a Megapodius or it does not liquefy thwart or both is not right.
sent2 -> int10: if the enchantress is a kind of an absorbent then the fact that it is a Megapodius or does not liquefy thwart or both is false.; sent13 -> int11: that the fact that the enchantress does not liquefy Vichy and it does not liquefy brewery is false is true if it is not natural.; sent10 -> int12: either the clone is lactic or it is not a natural or both if it does not raven thiopental.; sent1 -> int13: that the clone does not raven thiopental is not false if it is both doctoral and an astronaut.; sent6 & sent4 -> int14: the clone is doctoral and it is an astronaut.; int13 & int14 -> int15: the clone does not raven thiopental.; int12 & int15 -> int16: the clone is lactic and/or not natural.;
$hypothesis$ = that the enchantress is a Megapodius and/or it does not liquefy thwart is not true. ; $context$ = sent1: if something is doctoral and it is an astronaut then it does not raven thiopental. sent2: if something is an absorbent then that it is a kind of a Megapodius and/or does not liquefy thwart is not right. sent3: if something is not an absorbent then it liquefies Vichy. sent4: the container does not aurify quincentennial. sent5: the outstation is lactic. sent6: that the clone is doctoral and it is an astronaut is correct if the container does not aurify quincentennial. sent7: something is a Megapodius and/or it does not liquefy thwart if it is a kind of a natural. sent8: if the enchantress does liquefy brewery it is not unnatural. sent9: the enchantress does liquefy brewery if the clone does liquefy Vichy. sent10: either something is lactic or it is not a kind of a natural or both if it does not raven thiopental. sent11: the enchantress is not natural if the clone is lactic. sent12: the container is a Shreveport and not a sucker if the clone is an absorbent. sent13: that the fact that the fact that something does not liquefy Vichy and does not liquefy brewery is correct is not right if it is not a natural is right. sent14: if the outstation is lactic the fact that the container is a Shreveport but not a sucker is not right. sent15: the clone is natural or a Shreveport or both if it is an absorbent. ; $proof$ = 
void -> assump1: Let's assume that the clone is an absorbent.; sent12 & assump1 -> int1: the container is a Shreveport but it is not a kind of a sucker.; sent14 & sent5 -> int2: that the container is a kind of a Shreveport but it is not a sucker is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clone is not absorbent.; sent3 -> int5: if the clone is not a kind of an absorbent then it does liquefy Vichy.; int4 & int5 -> int6: the clone liquefies Vichy.; int6 & sent9 -> int7: the enchantress does liquefy brewery.; int7 & sent8 -> int8: the enchantress is a natural.; sent7 -> int9: if the enchantress is a natural it is a Megapodius and/or it does not liquefy thwart.; int8 & int9 -> hypothesis; __DISPROVED__