「もしあのサージャント・ベイは短縮化だということはないなら「あのサージャント・ベイは無化しないししかも展開・再編でない」ということは成り立たない」ということは嘘だ
fact1: 仮になにかは短縮化なら「それは無化しないしそれに展開・再編でない」ということは誤っている fact2: あのサージャント・ベイは短縮化だとしたら「無化しないしかつ展開・再編であるということはない」ということは本当でない fact3: もしもなにかは短縮化でないとしたら「それは無化するということはないしさらに展開・再編でない」ということは成り立たない fact4: もしもこのペスタロッチー研究はきりっとしないならば「それは無化するということはないしそれは御支払いする」ということは誤りだ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 仮になにかは短縮化なら「それは無化しないしそれに展開・再編でない」ということは誤っている fact2: あのサージャント・ベイは短縮化だとしたら「無化しないしかつ展開・再編であるということはない」ということは本当でない fact3: もしもなにかは短縮化でないとしたら「それは無化するということはないしさらに展開・再編でない」ということは成り立たない fact4: もしもこのペスタロッチー研究はきりっとしないならば「それは無化するということはないしそれは御支払いする」ということは誤りだ ; $hypothesis$ = 「もしあのサージャント・ベイは短縮化だということはないなら「あのサージャント・ベイは無化しないししかも展開・再編でない」ということは成り立たない」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮になにかは短縮化なら「それは無化しないしそれに展開・再編でない」ということは誤っている
事実2: あのサージャント・ベイは短縮化だとしたら「無化しないしかつ展開・再編であるということはない」ということは本当でない
事実3: もしもなにかは短縮化でないとしたら「それは無化するということはないしさらに展開・再編でない」ということは成り立たない
事実4: もしもこのペスタロッチー研究はきりっとしないならば「それは無化するということはないしそれは御支払いする」ということは誤りだ

仮説: 「もしあのサージャント・ベイは短縮化だということはないなら「あのサージャント・ベイは無化しないししかも展開・再編でない」ということは成り立たない」ということは嘘だ
1. 事実3から、仮説が否定される

よって、仮説が否定されました。