that there is something such that if it does not dung then the fact that it is biotic and it is a kind of a speaker does not hold is wrong.
sent1: that the snifter is both not non-biotic and a speaker is false if that it dungs hold. sent2: there exists something such that if it does not dung then it is biotic and it is a speaker. sent3: if something does not dung then that it is biotic and it is a speaker is false. sent4: if something does not dung it is biotic and a speaker.
sent3 -> int1: that the fact that the snifter is biotic and it is a kind of a speaker is not right is right if it does not dung.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not dung then the fact that it is biotic and it is a kind of a speaker does not hold is wrong. ; $context$ = sent1: that the snifter is both not non-biotic and a speaker is false if that it dungs hold. sent2: there exists something such that if it does not dung then it is biotic and it is a speaker. sent3: if something does not dung then that it is biotic and it is a speaker is false. sent4: if something does not dung it is biotic and a speaker. ; $proof$ = 
sent3 -> int1: that the fact that the snifter is biotic and it is a kind of a speaker is not right is right if it does not dung.; int1 -> hypothesis; __DISPROVED__