there exists something such that if it is not Wittgensteinian then the fact that it is a kind of a notice and is not pyloric is not correct.
sent1: if something is not Wittgensteinian then that it is a notice and not pyloric is incorrect. sent2: if something is Wittgensteinian then that it is both a notice and not pyloric does not hold. sent3: if something is not a VDU then it is a stockfish and it is not a cornstarch.
sent1 -> int1: that the gopher is a notice but it is not pyloric is not true if it is not Wittgensteinian.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not Wittgensteinian then the fact that it is a kind of a notice and is not pyloric is not correct. ; $context$ = sent1: if something is not Wittgensteinian then that it is a notice and not pyloric is incorrect. sent2: if something is Wittgensteinian then that it is both a notice and not pyloric does not hold. sent3: if something is not a VDU then it is a stockfish and it is not a cornstarch. ; $proof$ = 
sent1 -> int1: that the gopher is a notice but it is not pyloric is not true if it is not Wittgensteinian.; int1 -> hypothesis; __PROVED__