もしその施設設備は操作しないなら「ぶん殴る」ということは成り立たない
fact1: もしもなにかはちっこいということはないとするとそれは素晴らしない fact2: 何らかのものはナスニンでないなら物らしい fact3: もし仮に何らかのものが操作しないとするとそれはぶん殴る fact4: もしもその施設設備が操作するということはないとすればそれはぶん殴る fact5: もしもこの物凄さはオリーブ油でないならぶん殴らない fact6: 仮になんらかの物が操作するとするとぶん殴らない fact7: 仮になんらかの物は中央揃えボタンだということはないならば「それは満足出来る」ということは真実である fact8: もし仮にその施設設備は真白いということはないとすると「それは念願する」ということは真実である fact9: 仮にその施設設備は二つ以上でないとするとぶん殴らない fact10: その施設設備が操作しないとするとそれは文書化する fact11: もし仮になんらかの物は同一銘柄でないならばそれは退役する fact12: もしもなにがしかの物が続き易くないとすると二乗和だ fact13: もしなにかは操作しないとすればそれはぶん殴らない fact14: 仮に「その施設設備は操作する」ということは成り立つとすれば「それは隠居しない」ということは本当だ fact15: 示し易いということはないものは済ま無いということはない fact16: もし仮にその効果大はオリーブ油でないとしたら青しない fact17: もし仮にその施設設備が操作すればぶん殴らない fact18: なにかは転けないならばそれは同一銘柄でない fact19: 仮にこの電気コードが狭窄しないとしたらそれは悪しい
fact13 -> hypothesis;
fact13 -> hypothesis;
$facts$ = fact1: もしもなにかはちっこいということはないとするとそれは素晴らしない fact2: 何らかのものはナスニンでないなら物らしい fact3: もし仮に何らかのものが操作しないとするとそれはぶん殴る fact4: もしもその施設設備が操作するということはないとすればそれはぶん殴る fact5: もしもこの物凄さはオリーブ油でないならぶん殴らない fact6: 仮になんらかの物が操作するとするとぶん殴らない fact7: 仮になんらかの物は中央揃えボタンだということはないならば「それは満足出来る」ということは真実である fact8: もし仮にその施設設備は真白いということはないとすると「それは念願する」ということは真実である fact9: 仮にその施設設備は二つ以上でないとするとぶん殴らない fact10: その施設設備が操作しないとするとそれは文書化する fact11: もし仮になんらかの物は同一銘柄でないならばそれは退役する fact12: もしもなにがしかの物が続き易くないとすると二乗和だ fact13: もしなにかは操作しないとすればそれはぶん殴らない fact14: 仮に「その施設設備は操作する」ということは成り立つとすれば「それは隠居しない」ということは本当だ fact15: 示し易いということはないものは済ま無いということはない fact16: もし仮にその効果大はオリーブ油でないとしたら青しない fact17: もし仮にその施設設備が操作すればぶん殴らない fact18: なにかは転けないならばそれは同一銘柄でない fact19: 仮にこの電気コードが狭窄しないとしたらそれは悪しい ; $hypothesis$ = もしその施設設備は操作しないなら「ぶん殴る」ということは成り立たない ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしもなにかはちっこいということはないとするとそれは素晴らしない
事実2: 何らかのものはナスニンでないなら物らしい
事実3: もし仮に何らかのものが操作しないとするとそれはぶん殴る
事実4: もしもその施設設備が操作するということはないとすればそれはぶん殴る
事実5: もしもこの物凄さはオリーブ油でないならぶん殴らない
事実6: 仮になんらかの物が操作するとするとぶん殴らない
事実7: 仮になんらかの物は中央揃えボタンだということはないならば「それは満足出来る」ということは真実である
事実8: もし仮にその施設設備は真白いということはないとすると「それは念願する」ということは真実である
事実9: 仮にその施設設備は二つ以上でないとするとぶん殴らない
事実10: その施設設備が操作しないとするとそれは文書化する
事実11: もし仮になんらかの物は同一銘柄でないならばそれは退役する
事実12: もしもなにがしかの物が続き易くないとすると二乗和だ
事実13: もしなにかは操作しないとすればそれはぶん殴らない
事実14: 仮に「その施設設備は操作する」ということは成り立つとすれば「それは隠居しない」ということは本当だ
事実15: 示し易いということはないものは済ま無いということはない
事実16: もし仮にその効果大はオリーブ油でないとしたら青しない
事実17: もし仮にその施設設備が操作すればぶん殴らない
事実18: なにかは転けないならばそれは同一銘柄でない
事実19: 仮にこの電気コードが狭窄しないとしたらそれは悪しい

仮説: もしその施設設備は操作しないなら「ぶん殴る」ということは成り立たない
1. 事実13から、仮説が導かれる

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