「「その浮腫は飲み始めないかそれはぷっくりしないか両方だ」ということは誤りだ」ということは間違いでない
fact1: あの犬小屋は正さない fact2: あの練習曲は正さない fact3: 仮にあの練習曲が正さないならばその浮腫は飲み始めないかまたはぷっくりしないかもしくは両方ともである
$facts$ = fact1: あの犬小屋は正さない fact2: あの練習曲は正さない fact3: 仮にあの練習曲が正さないならばその浮腫は飲み始めないかまたはぷっくりしないかもしくは両方ともである ; $hypothesis$ = 「「その浮腫は飲み始めないかそれはぷっくりしないか両方だ」ということは誤りだ」ということは間違いでない ; $proof$ = 
事実1: あの犬小屋は正さない
事実2: あの練習曲は正さない
事実3: 仮にあの練習曲が正さないならばその浮腫は飲み始めないかまたはぷっくりしないかもしくは両方ともである

仮説: 「「その浮腫は飲み始めないかそれはぷっくりしないか両方だ」ということは誤りだ」ということは間違いでない