仮に「このたね・木の実は光増感反応である」ということは成り立つとするとあの母語話者は催促する
fact1: この患者チェックは催促する fact2: もしも「この大手水産会社は北海道行だということはない」ということは間違いでないとしたらあの母語話者は北海道行である fact3: 「この患者チェックは光増感反応だ」ということは本当だとすればそれは羨ましい fact4: もし仮にあの母語話者が羨ましいということはないとしたらこの患者チェックは北海道行であるしおまけに羨ましい fact5: もし仮にこの患者チェックがヤーンでないか北海道行であるかまたは両方であるならそれは催促しない fact6: もし仮にこの大手水産会社が北海道行でないとするとあの母語話者は催促するし北海道行である fact7: あの母語話者は北海道行であるとしたら歩き辛い fact8: 仮にこのたね・木の実が歩き辛いならこの患者チェックは羨ましい fact9: このたね・木の実が光増感反応でないとするとこの患者チェックは羨ましくてそれは光増感反応だ fact10: 「もしある物が言い訳がましいとしたらそれはヤーンでないかもしくは北海道行であるかまたは両方ともである」ということは成り立つ fact11: もし仮にこの患者チェックが羨ましいとしたらこの大手水産会社は北海道行でないけれど羨ましい fact12: 「「離陸だしかつ誇らしい」ということは成り立たない」ものはある fact13: 「この患者チェックは紅玉髄である」ということは誤りでない fact14: 仮に何らかの物が催促しないならばそれは光増感反応であるしおまけに羨ましい fact15: もし仮にこのたね・木の実が光増感反応だとすれば歩き辛い fact16: もし仮にこのたね・木の実が羨ましいならばそれは歩き辛い fact17: もし仮にこの大手水産会社が催促するとするとあの母語話者は北海道行でない一方でそれは催促する fact18: あの母語話者は北海道行である
void -> assump1: 以下のように仮定する。このたね・木の実は光増感反応だ; fact15 & assump1 -> int1: このたね・木の実は歩き辛い; int1 & fact8 -> int2: この患者チェックは羨ましい; int2 & fact11 -> int3: この大手水産会社は北海道行でないがしかし羨ましい; int3 -> int4: 「この大手水産会社は北海道行でない」ということは事実と異なるということはない; int4 & fact6 -> int5: あの母語話者は催促するし北海道行である; int5 -> int6: あの母語話者は催促する; [assump1] & int6 -> hypothesis;
この患者チェックは歩き辛い
fact19 -> int7: もしこの患者チェックが催促するということはないとしたらそれは光増感反応だし羨ましい; fact22 -> int8: この患者チェックが言い訳がましいとすればヤーンでないかあるいは北海道行だ;
$facts$ = fact1: この患者チェックは催促する fact2: もしも「この大手水産会社は北海道行だということはない」ということは間違いでないとしたらあの母語話者は北海道行である fact3: 「この患者チェックは光増感反応だ」ということは本当だとすればそれは羨ましい fact4: もし仮にあの母語話者が羨ましいということはないとしたらこの患者チェックは北海道行であるしおまけに羨ましい fact5: もし仮にこの患者チェックがヤーンでないか北海道行であるかまたは両方であるならそれは催促しない fact6: もし仮にこの大手水産会社が北海道行でないとするとあの母語話者は催促するし北海道行である fact7: あの母語話者は北海道行であるとしたら歩き辛い fact8: 仮にこのたね・木の実が歩き辛いならこの患者チェックは羨ましい fact9: このたね・木の実が光増感反応でないとするとこの患者チェックは羨ましくてそれは光増感反応だ fact10: 「もしある物が言い訳がましいとしたらそれはヤーンでないかもしくは北海道行であるかまたは両方ともである」ということは成り立つ fact11: もし仮にこの患者チェックが羨ましいとしたらこの大手水産会社は北海道行でないけれど羨ましい fact12: 「「離陸だしかつ誇らしい」ということは成り立たない」ものはある fact13: 「この患者チェックは紅玉髄である」ということは誤りでない fact14: 仮に何らかの物が催促しないならばそれは光増感反応であるしおまけに羨ましい fact15: もし仮にこのたね・木の実が光増感反応だとすれば歩き辛い fact16: もし仮にこのたね・木の実が羨ましいならばそれは歩き辛い fact17: もし仮にこの大手水産会社が催促するとするとあの母語話者は北海道行でない一方でそれは催促する fact18: あの母語話者は北海道行である ; $hypothesis$ = 仮に「このたね・木の実は光増感反応である」ということは成り立つとするとあの母語話者は催促する ; $proof$ = 
void -> assump1: 以下のように仮定する。このたね・木の実は光増感反応だ; fact15 & assump1 -> int1: このたね・木の実は歩き辛い; int1 & fact8 -> int2: この患者チェックは羨ましい; int2 & fact11 -> int3: この大手水産会社は北海道行でないがしかし羨ましい; int3 -> int4: 「この大手水産会社は北海道行でない」ということは事実と異なるということはない; int4 & fact6 -> int5: あの母語話者は催促するし北海道行である; int5 -> int6: あの母語話者は催促する; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この患者チェックは催促する
事実2: もしも「この大手水産会社は北海道行だということはない」ということは間違いでないとしたらあの母語話者は北海道行である
事実3: 「この患者チェックは光増感反応だ」ということは本当だとすればそれは羨ましい
事実4: もし仮にあの母語話者が羨ましいということはないとしたらこの患者チェックは北海道行であるしおまけに羨ましい
事実5: もし仮にこの患者チェックがヤーンでないか北海道行であるかまたは両方であるならそれは催促しない
事実6: もし仮にこの大手水産会社が北海道行でないとするとあの母語話者は催促するし北海道行である
事実7: あの母語話者は北海道行であるとしたら歩き辛い
事実8: 仮にこのたね・木の実が歩き辛いならこの患者チェックは羨ましい
事実9: このたね・木の実が光増感反応でないとするとこの患者チェックは羨ましくてそれは光増感反応だ
事実10: 「もしある物が言い訳がましいとしたらそれはヤーンでないかもしくは北海道行であるかまたは両方ともである」ということは成り立つ
事実11: もし仮にこの患者チェックが羨ましいとしたらこの大手水産会社は北海道行でないけれど羨ましい
事実12: 「「離陸だしかつ誇らしい」ということは成り立たない」ものはある
事実13: 「この患者チェックは紅玉髄である」ということは誤りでない
事実14: 仮に何らかの物が催促しないならばそれは光増感反応であるしおまけに羨ましい
事実15: もし仮にこのたね・木の実が光増感反応だとすれば歩き辛い
事実16: もし仮にこのたね・木の実が羨ましいならばそれは歩き辛い
事実17: もし仮にこの大手水産会社が催促するとするとあの母語話者は北海道行でない一方でそれは催促する
事実18: あの母語話者は北海道行である

仮説: 仮に「このたね・木の実は光増感反応である」ということは成り立つとするとあの母語話者は催促する
1. 仮定1: 以下のように仮定する。このたね・木の実は光増感反応だ
2. 事実15と仮定1から、推論1: "このたね・木の実は歩き辛い"が導かれる
3. 推論1と事実8から、推論2: "この患者チェックは羨ましい"が導かれる
4. 推論2と事実11から、推論3: "この大手水産会社は北海道行でないがしかし羨ましい"が導かれる
5. 推論3から、推論4: "「この大手水産会社は北海道行でない」ということは事実と異なるということはない"が導かれる
6. 推論4と事実6から、推論5: "あの母語話者は催促するし北海道行である"が導かれる
7. 推論5から、推論6: "あの母語話者は催促する"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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