that if the Norinyl is not a kind of a matchwood then that the attar turfs quaver and is a blotter is right does not hold.
sent1: something is a blotter if it is monoecious. sent2: if that the Norinyl is not a matchwood is not false then the attar turfs quaver and it is a kind of a native. sent3: the Norinyl does turf quaver and is sociobiologic. sent4: the schoolteacher is not a kind of a bibliographer. sent5: if the attar is an absurd it is monoecious. sent6: the attar is a kind of an absurd. sent7: the attar is a kind of a native. sent8: the Norinyl is a blotter and is a native if the attar turfs quaver. sent9: something is an absurd but it is not a Hathaway if it is not a Libreville. sent10: something is a blotter if it is an absurd that is not a kind of a Hathaway. sent11: the schoolteacher is not a weekly and it is not chylific. sent12: the attar is native if it is a Jat. sent13: if something that is not a kind of a weekly is not chylific it is not a tetracycline. sent14: the attar does turf quaver and it is a blotter if the fact that the Norinyl is a matchwood is right. sent15: if the schoolteacher is both not a bibliographer and not a tetracycline then it is not a kind of a Libreville.
void -> assump1: Let's assume that the Norinyl is not a matchwood.; sent2 & assump1 -> int1: the attar does turf quaver and is native.; int1 -> int2: the attar turfs quaver.; sent1 -> int3: the attar is a blotter if it is monoecious.; sent5 & sent6 -> int4: the attar is monoecious.; int3 & int4 -> int5: the fact that the fact that the attar is not a blotter is not right is right.; int2 & int5 -> int6: the attar turfs quaver and is a blotter.; [assump1] & int6 -> hypothesis;
that the schoolteacher is a blotter and it is polymeric is not incorrect.
sent10 -> int7: if the schoolteacher is an absurd but it is not a kind of a Hathaway then it is a kind of a blotter.; sent9 -> int8: if the schoolteacher is not a Libreville then it is both an absurd and not a Hathaway.; sent13 -> int9: if the schoolteacher is both not a weekly and not chylific then it is not a tetracycline.; int9 & sent11 -> int10: the schoolteacher is not a tetracycline.; sent4 & int10 -> int11: the schoolteacher is not a bibliographer and it is not a kind of a tetracycline.; sent15 & int11 -> int12: the schoolteacher is not a kind of a Libreville.; int8 & int12 -> int13: the schoolteacher is an absurd but it is not a Hathaway.; int7 & int13 -> int14: the schoolteacher is a blotter.;
$hypothesis$ = that if the Norinyl is not a kind of a matchwood then that the attar turfs quaver and is a blotter is right does not hold. ; $context$ = sent1: something is a blotter if it is monoecious. sent2: if that the Norinyl is not a matchwood is not false then the attar turfs quaver and it is a kind of a native. sent3: the Norinyl does turf quaver and is sociobiologic. sent4: the schoolteacher is not a kind of a bibliographer. sent5: if the attar is an absurd it is monoecious. sent6: the attar is a kind of an absurd. sent7: the attar is a kind of a native. sent8: the Norinyl is a blotter and is a native if the attar turfs quaver. sent9: something is an absurd but it is not a Hathaway if it is not a Libreville. sent10: something is a blotter if it is an absurd that is not a kind of a Hathaway. sent11: the schoolteacher is not a weekly and it is not chylific. sent12: the attar is native if it is a Jat. sent13: if something that is not a kind of a weekly is not chylific it is not a tetracycline. sent14: the attar does turf quaver and it is a blotter if the fact that the Norinyl is a matchwood is right. sent15: if the schoolteacher is both not a bibliographer and not a tetracycline then it is not a kind of a Libreville. ; $proof$ = 
void -> assump1: Let's assume that the Norinyl is not a matchwood.; sent2 & assump1 -> int1: the attar does turf quaver and is native.; int1 -> int2: the attar turfs quaver.; sent1 -> int3: the attar is a blotter if it is monoecious.; sent5 & sent6 -> int4: the attar is monoecious.; int3 & int4 -> int5: the fact that the fact that the attar is not a blotter is not right is right.; int2 & int5 -> int6: the attar turfs quaver and is a blotter.; [assump1] & int6 -> hypothesis; __DISPROVED__