「仮に「戦慄しなくてかつむさくるしくない」ということは成り立たないとすると「分かり辛くない」ということは成り立つ」ものはある
fact1: あの鉄船がむさくるしいとしたらそれは分かり辛くない fact2: 仮に「あるものはじめじめするということはないしそれにそれは後退しない」ということは成り立つということはないとすればマイクロマネジャーでない fact3: もし仮に「あの鉄船は戦慄しなくてしかもそれはむさくるしくない」ということは成り立つということはないとしたらそれは分かり辛くない
fact3 -> hypothesis;
「もし仮に「じめじめしないしおまけに後退しない」ということは成り立たないとすると「マイクロマネジャーでない」ということは事実な」物はある
fact4 -> int1: もし「そのペンクラブはじめじめしなくてまた後退しない」ということは嘘であるとするとそれはマイクロマネジャーだということはない; int1 -> hypothesis;
$facts$ = fact1: あの鉄船がむさくるしいとしたらそれは分かり辛くない fact2: 仮に「あるものはじめじめするということはないしそれにそれは後退しない」ということは成り立つということはないとすればマイクロマネジャーでない fact3: もし仮に「あの鉄船は戦慄しなくてしかもそれはむさくるしくない」ということは成り立つということはないとしたらそれは分かり辛くない ; $hypothesis$ = 「仮に「戦慄しなくてかつむさくるしくない」ということは成り立たないとすると「分かり辛くない」ということは成り立つ」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの鉄船がむさくるしいとしたらそれは分かり辛くない
事実2: 仮に「あるものはじめじめするということはないしそれにそれは後退しない」ということは成り立つということはないとすればマイクロマネジャーでない
事実3: もし仮に「あの鉄船は戦慄しなくてしかもそれはむさくるしくない」ということは成り立つということはないとしたらそれは分かり辛くない

仮説: 「仮に「戦慄しなくてかつむさくるしくない」ということは成り立たないとすると「分かり辛くない」ということは成り立つ」ものはある
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。