the fact that the sprat is both not stoichiometric and a haloform does not hold.
sent1: the sprat is not stoichiometric and is a haloform if the tridymite is indiscernible. sent2: the tridymite is heliocentric. sent3: the tridymite is a haloform. sent4: the sprat is not prophetic and is junior. sent5: if the sprat is indiscernible then the tridymite is a haloform. sent6: if the sprat is stoichiometric then it is indiscernible. sent7: the sprat is not a Prometheus but it is a facial. sent8: the sprat is indiscernible if the tridymite is a haloform. sent9: if the autotype is heliocentric it implies buttock. sent10: the sprat is not stoichiometric but it is a kind of a Dactylopteridae. sent11: the sprat is blastospheric. sent12: the tridymite is indiscernible if it is a basics. sent13: if the sprat is heliocentric then the tridymite is indiscernible. sent14: the tridymite is indiscernible if it is heliocentric.
sent14 & sent2 -> int1: the tridymite is indiscernible.; sent1 & int1 -> hypothesis;
$hypothesis$ = the fact that the sprat is both not stoichiometric and a haloform does not hold. ; $context$ = sent1: the sprat is not stoichiometric and is a haloform if the tridymite is indiscernible. sent2: the tridymite is heliocentric. sent3: the tridymite is a haloform. sent4: the sprat is not prophetic and is junior. sent5: if the sprat is indiscernible then the tridymite is a haloform. sent6: if the sprat is stoichiometric then it is indiscernible. sent7: the sprat is not a Prometheus but it is a facial. sent8: the sprat is indiscernible if the tridymite is a haloform. sent9: if the autotype is heliocentric it implies buttock. sent10: the sprat is not stoichiometric but it is a kind of a Dactylopteridae. sent11: the sprat is blastospheric. sent12: the tridymite is indiscernible if it is a basics. sent13: if the sprat is heliocentric then the tridymite is indiscernible. sent14: the tridymite is indiscernible if it is heliocentric. ; $proof$ = 
sent14 & sent2 -> int1: the tridymite is indiscernible.; sent1 & int1 -> hypothesis; __DISPROVED__