この鰻は眠いしスリーステップだ
fact1: この鰻は青臭さであるし更に淵源だ fact2: この鰻はスリーステップである fact3: この鰻は切り売りで優遇税率だ fact4: あの境躑躅が研究するしその上眠い fact5: もしもその刑事ドラマがモシリでない一方でそれは誑し込むなら「その同軸ケーブルはモシリであるということはない」ということは誤りでない fact6: この鰻は府全体である fact7: この鰻はしょっぱい fact8: この鰻は眠い fact9: もしその同軸ケーブルがモシリでないとするとあの滑りは溜まり易くないしそれにしょっぱくない fact10: あの秘書達はスリーステップでかつ諸原理である
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
「この鰻は眠いしそれはスリーステップである」ということは誤りだ
$facts$ = fact1: この鰻は青臭さであるし更に淵源だ fact2: この鰻はスリーステップである fact3: この鰻は切り売りで優遇税率だ fact4: あの境躑躅が研究するしその上眠い fact5: もしもその刑事ドラマがモシリでない一方でそれは誑し込むなら「その同軸ケーブルはモシリであるということはない」ということは誤りでない fact6: この鰻は府全体である fact7: この鰻はしょっぱい fact8: この鰻は眠い fact9: もしその同軸ケーブルがモシリでないとするとあの滑りは溜まり易くないしそれにしょっぱくない fact10: あの秘書達はスリーステップでかつ諸原理である ; $hypothesis$ = この鰻は眠いしスリーステップだ ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: この鰻は青臭さであるし更に淵源だ
事実2: この鰻はスリーステップである
事実3: この鰻は切り売りで優遇税率だ
事実4: あの境躑躅が研究するしその上眠い
事実5: もしもその刑事ドラマがモシリでない一方でそれは誑し込むなら「その同軸ケーブルはモシリであるということはない」ということは誤りでない
事実6: この鰻は府全体である
事実7: この鰻はしょっぱい
事実8: この鰻は眠い
事実9: もしその同軸ケーブルがモシリでないとするとあの滑りは溜まり易くないしそれにしょっぱくない
事実10: あの秘書達はスリーステップでかつ諸原理である

仮説: この鰻は眠いしスリーステップだ
1. 事実8と事実2から、仮説が導かれる

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