あの型抜きはクランプしないしかつ黴臭くない
fact1: 全てのものは黴臭くない fact2: 全ての物は揺られないし受け辛いということはない fact3: あの型抜きは黴臭くない fact4: なにがしかの物がクランプしないならばそれは黴臭くないしまた培地であるということはない fact5: 「あらゆるものはクランプするということはないし加えてそれは黴臭くない」ということは真実である fact6: あらゆるものは御休みしないしさらに灯り続けない fact7: もし仮にあの十九種類は刀剣商でないとすると「あの型抜きはクランプするということはないし更に黴臭くない」ということは誤りである fact8: すべては其れっぽくなくてまた参集しない fact9: 何もかもは俯かないし加えて即位しない
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの型抜きはクランプしないしおまけに黴臭くない」ということは成り立つということはない
$facts$ = fact1: 全てのものは黴臭くない fact2: 全ての物は揺られないし受け辛いということはない fact3: あの型抜きは黴臭くない fact4: なにがしかの物がクランプしないならばそれは黴臭くないしまた培地であるということはない fact5: 「あらゆるものはクランプするということはないし加えてそれは黴臭くない」ということは真実である fact6: あらゆるものは御休みしないしさらに灯り続けない fact7: もし仮にあの十九種類は刀剣商でないとすると「あの型抜きはクランプするということはないし更に黴臭くない」ということは誤りである fact8: すべては其れっぽくなくてまた参集しない fact9: 何もかもは俯かないし加えて即位しない ; $hypothesis$ = あの型抜きはクランプしないしかつ黴臭くない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 全てのものは黴臭くない
事実2: 全ての物は揺られないし受け辛いということはない
事実3: あの型抜きは黴臭くない
事実4: なにがしかの物がクランプしないならばそれは黴臭くないしまた培地であるということはない
事実5: 「あらゆるものはクランプするということはないし加えてそれは黴臭くない」ということは真実である
事実6: あらゆるものは御休みしないしさらに灯り続けない
事実7: もし仮にあの十九種類は刀剣商でないとすると「あの型抜きはクランプするということはないし更に黴臭くない」ということは誤りである
事実8: すべては其れっぽくなくてまた参集しない
事実9: 何もかもは俯かないし加えて即位しない

仮説: あの型抜きはクランプしないしかつ黴臭くない
1. 事実5から、仮説が導かれる

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