the fact that there exists something such that if it is not a Nilotic and it is inexhaustible then it is unsensational does not hold.
sent1: there is something such that if it is a penult and irremovable it is cognitive. sent2: if something is not a kind of a Constantinople but it does master Cimex then it is a groundfish. sent3: there exists something such that if it is a Nilotic and it is inexhaustible it is unsensational. sent4: if something does not master nympholept but it masters bennet it is an adenovirus. sent5: if something is a kind of a Nilotic that is inexhaustible then it is unsensational. sent6: the fact that the imperialist is a loyalist hold if it is not a gunsmith and it does master thesis. sent7: something that is not a lunula and brads leavened is a kopek. sent8: if the knothole is not a Thracian but it is unsensational then it is a madness. sent9: something that is both non-Nilotic and not exhaustible is unsensational. sent10: something is a kind of a cassowary if it is not a charlatanism but a loyalist. sent11: if the philhellene is not an aspirate but a cassowary it is cognitive. sent12: if something does not master Kosovo but it is machine-made then it is a stenopterygius. sent13: if something is not a alkalemia but it is a charlatanism it is occlusive. sent14: if the knothole is not Nilotic and is a kind of a waxwork then it is unworthy. sent15: the knothole masters Schumpeter if it is not inexhaustible and it demotes SEAL. sent16: if the knothole is a kind of Nilotic thing that is inexhaustible then it is unsensational. sent17: there exists something such that if it is not noncaloric and it does saddle then it is a kind of a Boethius.
sent9 -> int1: the knothole is unsensational if it is not a Nilotic and it is inexhaustible.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a Nilotic and it is inexhaustible then it is unsensational does not hold. ; $context$ = sent1: there is something such that if it is a penult and irremovable it is cognitive. sent2: if something is not a kind of a Constantinople but it does master Cimex then it is a groundfish. sent3: there exists something such that if it is a Nilotic and it is inexhaustible it is unsensational. sent4: if something does not master nympholept but it masters bennet it is an adenovirus. sent5: if something is a kind of a Nilotic that is inexhaustible then it is unsensational. sent6: the fact that the imperialist is a loyalist hold if it is not a gunsmith and it does master thesis. sent7: something that is not a lunula and brads leavened is a kopek. sent8: if the knothole is not a Thracian but it is unsensational then it is a madness. sent9: something that is both non-Nilotic and not exhaustible is unsensational. sent10: something is a kind of a cassowary if it is not a charlatanism but a loyalist. sent11: if the philhellene is not an aspirate but a cassowary it is cognitive. sent12: if something does not master Kosovo but it is machine-made then it is a stenopterygius. sent13: if something is not a alkalemia but it is a charlatanism it is occlusive. sent14: if the knothole is not Nilotic and is a kind of a waxwork then it is unworthy. sent15: the knothole masters Schumpeter if it is not inexhaustible and it demotes SEAL. sent16: if the knothole is a kind of Nilotic thing that is inexhaustible then it is unsensational. sent17: there exists something such that if it is not noncaloric and it does saddle then it is a kind of a Boethius. ; $proof$ = 
sent9 -> int1: the knothole is unsensational if it is not a Nilotic and it is inexhaustible.; int1 -> hypothesis; __DISPROVED__