あの移動量は轟く
fact1: そのテレビ等は住宅購入である fact2: この買い物籠は轟く fact3: 「その一パーセント以上は石油王だ」ということは真実である fact4: その第九話は石油王だ fact5: もしも「そのテレビ等は太り易くないしその上轟かない」ということは本当でないとするとあの移動量は轟かない fact6: もし仮にあの移動量が石油王だとしたらそのテレビ等は轟く fact7: あの移動量は疲れ易い fact8: 仮に「そのテレビ等は石油王である」ということは成り立つならあの移動量は轟く fact9: もし仮にそのテレビ等が整理保管するとすればあの移動量は石油王である fact10: 「もし仮にそのテレビ等が轟くとすればあの移動量は石油王だ」ということは事実だ fact11: そのテレビ等は石油王だ
fact8 & fact11 -> hypothesis;
fact8 & fact11 -> hypothesis;
あの移動量は轟かない
$facts$ = fact1: そのテレビ等は住宅購入である fact2: この買い物籠は轟く fact3: 「その一パーセント以上は石油王だ」ということは真実である fact4: その第九話は石油王だ fact5: もしも「そのテレビ等は太り易くないしその上轟かない」ということは本当でないとするとあの移動量は轟かない fact6: もし仮にあの移動量が石油王だとしたらそのテレビ等は轟く fact7: あの移動量は疲れ易い fact8: 仮に「そのテレビ等は石油王である」ということは成り立つならあの移動量は轟く fact9: もし仮にそのテレビ等が整理保管するとすればあの移動量は石油王である fact10: 「もし仮にそのテレビ等が轟くとすればあの移動量は石油王だ」ということは事実だ fact11: そのテレビ等は石油王だ ; $hypothesis$ = あの移動量は轟く ; $proof$ = 
fact8 & fact11 -> hypothesis; __PROVED__
事実1: そのテレビ等は住宅購入である
事実2: この買い物籠は轟く
事実3: 「その一パーセント以上は石油王だ」ということは真実である
事実4: その第九話は石油王だ
事実5: もしも「そのテレビ等は太り易くないしその上轟かない」ということは本当でないとするとあの移動量は轟かない
事実6: もし仮にあの移動量が石油王だとしたらそのテレビ等は轟く
事実7: あの移動量は疲れ易い
事実8: 仮に「そのテレビ等は石油王である」ということは成り立つならあの移動量は轟く
事実9: もし仮にそのテレビ等が整理保管するとすればあの移動量は石油王である
事実10: 「もし仮にそのテレビ等が轟くとすればあの移動量は石油王だ」ということは事実だ
事実11: そのテレビ等は石油王だ

仮説: あの移動量は轟く
1. 事実8と事実11から、仮説が導かれる

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