「その暖炉ベッドは弛み無い」ということは正しい
fact1: この元禄人形は行為者・主体だ fact2: その暖炉ベッドは重るしおまけに脈打つ fact3: もしその暖炉ベッドは弄わないならそれは行為者・主体であるしそれは弛み無くない fact4: その暖炉ベッドは行為者・主体であるしさらに弛み無い fact5: このエロ本は行為者・主体だ fact6: この人造は行為者・主体である fact7: もしもその仲介者は弄うということはないとすれば「その月見は行為者・主体であるしおまけに弛み無い」ということは誤りだ fact8: その暖炉ベッドは脆弱Ｘ症候群であるし結び付き易い fact9: もしその暖炉ベッドは引っ返さなくて更にブラバスらしくないなら弄わない fact10: その暖炉ベッドは行為者・主体である fact11: その暖炉ベッドは都市貧困層であるし行為者・主体だ
fact4 -> hypothesis;
fact4 -> hypothesis;
「その暖炉ベッドは弛み無くない」ということは確かである
$facts$ = fact1: この元禄人形は行為者・主体だ fact2: その暖炉ベッドは重るしおまけに脈打つ fact3: もしその暖炉ベッドは弄わないならそれは行為者・主体であるしそれは弛み無くない fact4: その暖炉ベッドは行為者・主体であるしさらに弛み無い fact5: このエロ本は行為者・主体だ fact6: この人造は行為者・主体である fact7: もしもその仲介者は弄うということはないとすれば「その月見は行為者・主体であるしおまけに弛み無い」ということは誤りだ fact8: その暖炉ベッドは脆弱Ｘ症候群であるし結び付き易い fact9: もしその暖炉ベッドは引っ返さなくて更にブラバスらしくないなら弄わない fact10: その暖炉ベッドは行為者・主体である fact11: その暖炉ベッドは都市貧困層であるし行為者・主体だ ; $hypothesis$ = 「その暖炉ベッドは弛み無い」ということは正しい ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: この元禄人形は行為者・主体だ
事実2: その暖炉ベッドは重るしおまけに脈打つ
事実3: もしその暖炉ベッドは弄わないならそれは行為者・主体であるしそれは弛み無くない
事実4: その暖炉ベッドは行為者・主体であるしさらに弛み無い
事実5: このエロ本は行為者・主体だ
事実6: この人造は行為者・主体である
事実7: もしもその仲介者は弄うということはないとすれば「その月見は行為者・主体であるしおまけに弛み無い」ということは誤りだ
事実8: その暖炉ベッドは脆弱Ｘ症候群であるし結び付き易い
事実9: もしその暖炉ベッドは引っ返さなくて更にブラバスらしくないなら弄わない
事実10: その暖炉ベッドは行為者・主体である
事実11: その暖炉ベッドは都市貧困層であるし行為者・主体だ

仮説: 「その暖炉ベッドは弛み無い」ということは正しい
1. 事実4から、仮説が導かれる

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