「もしも御達するし費用計上しないとすると尊し」物はある
fact1: その右クリックは寝れるが打ち易いということはないとすると「それは地鳥である」ということは成り立つ fact2: 「仮に御達するししかも費用計上するとしたら尊し」ものはある fact3: ボトル・ウォーターは司祭者でないとしたら活動実績である fact4: 仮になにかは試合後だがしかし接見しないなら御達する fact5: 「遠いけれど溜め込み易いということはないとすれば冷え易い」物はある fact6: もし仮にその右クリックが御達するけど費用計上しないとすれば尊し fact7: 仮にナイアシンはディシジョンでないならばタバコ対策である fact8: その右クリックが売買出来るがしかしそれは当該各号でないならば啓示する fact9: もし仮にその渾名はごちゃごちゃする一方で物珍しくないとすると「それは御達する」ということは事実だ fact10: もし仮にこのバッファはあからさま過ぎるが御待たせ致すということはないなら滞在出来る fact11: もしもその右クリックが御達するしその上費用計上するとすれば尊し
fact6 -> hypothesis;
「もし仮にナイアシンであるしディシジョンでないとするとタバコ対策である」物はある
fact12 -> int1: もし「あの皮算用はナイアシンであるがそれはディシジョンでない」ということは真実であるとしたらそれはタバコ対策である; int1 -> hypothesis;
$facts$ = fact1: その右クリックは寝れるが打ち易いということはないとすると「それは地鳥である」ということは成り立つ fact2: 「仮に御達するししかも費用計上するとしたら尊し」ものはある fact3: ボトル・ウォーターは司祭者でないとしたら活動実績である fact4: 仮になにかは試合後だがしかし接見しないなら御達する fact5: 「遠いけれど溜め込み易いということはないとすれば冷え易い」物はある fact6: もし仮にその右クリックが御達するけど費用計上しないとすれば尊し fact7: 仮にナイアシンはディシジョンでないならばタバコ対策である fact8: その右クリックが売買出来るがしかしそれは当該各号でないならば啓示する fact9: もし仮にその渾名はごちゃごちゃする一方で物珍しくないとすると「それは御達する」ということは事実だ fact10: もし仮にこのバッファはあからさま過ぎるが御待たせ致すということはないなら滞在出来る fact11: もしもその右クリックが御達するしその上費用計上するとすれば尊し ; $hypothesis$ = 「もしも御達するし費用計上しないとすると尊し」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: その右クリックは寝れるが打ち易いということはないとすると「それは地鳥である」ということは成り立つ
事実2: 「仮に御達するししかも費用計上するとしたら尊し」ものはある
事実3: ボトル・ウォーターは司祭者でないとしたら活動実績である
事実4: 仮になにかは試合後だがしかし接見しないなら御達する
事実5: 「遠いけれど溜め込み易いということはないとすれば冷え易い」物はある
事実6: もし仮にその右クリックが御達するけど費用計上しないとすれば尊し
事実7: 仮にナイアシンはディシジョンでないならばタバコ対策である
事実8: その右クリックが売買出来るがしかしそれは当該各号でないならば啓示する
事実9: もし仮にその渾名はごちゃごちゃする一方で物珍しくないとすると「それは御達する」ということは事実だ
事実10: もし仮にこのバッファはあからさま過ぎるが御待たせ致すということはないなら滞在出来る
事実11: もしもその右クリックが御達するしその上費用計上するとすれば尊し

仮説: 「もしも御達するし費用計上しないとすると尊し」物はある
1. 事実6から、仮説が導かれる

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