あの給湯式は痩せこけるし更にそれはそつ無い
fact1: もし仮になにかは悲しくないならば「それは痩せこけるし更にそつ無い」ということは成り立たない fact2: すべての物は痩せこけるしさらにそつ無い fact3: もし何かは二頭筋だということはないか悲しくないかどちらもならば悲しくない fact4: 仮になにがしかの物が痩せこけないならそれは手酷くておまけにみっともない fact5: あの給湯式は扱い難くておまけにそつ無い fact6: 全ての物は算定出来るしまた御会い出来る
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの給湯式は痩せこけるしそつ無い」ということは成り立たない
fact7 -> int1: もしもあの給湯式は悲しくないなら「それは痩せこけるしそつ無い」ということは嘘である; fact8 -> int2: もしもあの給湯式は二頭筋でないか悲しくないか両方ともであるなら「それは悲しくない」ということは誤りでない;
$facts$ = fact1: もし仮になにかは悲しくないならば「それは痩せこけるし更にそつ無い」ということは成り立たない fact2: すべての物は痩せこけるしさらにそつ無い fact3: もし何かは二頭筋だということはないか悲しくないかどちらもならば悲しくない fact4: 仮になにがしかの物が痩せこけないならそれは手酷くておまけにみっともない fact5: あの給湯式は扱い難くておまけにそつ無い fact6: 全ての物は算定出来るしまた御会い出来る ; $hypothesis$ = あの給湯式は痩せこけるし更にそれはそつ無い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になにかは悲しくないならば「それは痩せこけるし更にそつ無い」ということは成り立たない
事実2: すべての物は痩せこけるしさらにそつ無い
事実3: もし何かは二頭筋だということはないか悲しくないかどちらもならば悲しくない
事実4: 仮になにがしかの物が痩せこけないならそれは手酷くておまけにみっともない
事実5: あの給湯式は扱い難くておまけにそつ無い
事実6: 全ての物は算定出来るしまた御会い出来る

仮説: あの給湯式は痩せこけるし更にそれはそつ無い
1. 事実2から、仮説が導かれる

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