the fact that the fact that there exists something such that if it is not anastigmatic it discountenances profiling is true is not right.
sent1: if the bolus is not a minuet that it is inexact is true. sent2: if the emitter is not a kind of a tophus then it is a counter-sabotage. sent3: the emitter discountenances profiling if it is anastigmatic. sent4: the emitter does assail if it is not ponderable. sent5: there is something such that if it is anastigmatic then it does discountenance profiling. sent6: the emitter discountenances profiling if it is not anastigmatic. sent7: the pia is a mantelet if it is not ponderable. sent8: something is a voicemail if it does not discountenance profiling. sent9: the emitter is anastigmatic if it is not a Wesleyan. sent10: there is something such that if that it is intertidal does not hold then it is a kind of a pinger.
sent6 -> hypothesis;
the skank is a voicemail if it does not discountenance profiling.
sent8 -> hypothesis;
$hypothesis$ = the fact that the fact that there exists something such that if it is not anastigmatic it discountenances profiling is true is not right. ; $context$ = sent1: if the bolus is not a minuet that it is inexact is true. sent2: if the emitter is not a kind of a tophus then it is a counter-sabotage. sent3: the emitter discountenances profiling if it is anastigmatic. sent4: the emitter does assail if it is not ponderable. sent5: there is something such that if it is anastigmatic then it does discountenance profiling. sent6: the emitter discountenances profiling if it is not anastigmatic. sent7: the pia is a mantelet if it is not ponderable. sent8: something is a voicemail if it does not discountenance profiling. sent9: the emitter is anastigmatic if it is not a Wesleyan. sent10: there is something such that if that it is intertidal does not hold then it is a kind of a pinger. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__