that the fact that there is something such that if it is both not an iva and not hypertonic it is not a kind of a steamfitter is correct is not right.
sent1: the sloganeer is not a steamfitter if it is not an iva and not hypertonic. sent2: there exists something such that if it is not an iva and not hypertonic it is a steamfitter. sent3: something is not a mobcap if it is not a kind of a steamfitter and does not ding kilobit. sent4: the sloganeer is not a steamfitter if it is not a kind of an iva and it is hypertonic. sent5: if the minder is not Frostian and it is not a Shinto it is not a overexertion.
sent1 -> hypothesis;
if the butanol is not a steamfitter and does not ding kilobit then it is not a mobcap.
sent3 -> hypothesis;
$hypothesis$ = that the fact that there is something such that if it is both not an iva and not hypertonic it is not a kind of a steamfitter is correct is not right. ; $context$ = sent1: the sloganeer is not a steamfitter if it is not an iva and not hypertonic. sent2: there exists something such that if it is not an iva and not hypertonic it is a steamfitter. sent3: something is not a mobcap if it is not a kind of a steamfitter and does not ding kilobit. sent4: the sloganeer is not a steamfitter if it is not a kind of an iva and it is hypertonic. sent5: if the minder is not Frostian and it is not a Shinto it is not a overexertion. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__