あの密使は粘るし更にマーシャルする
fact1: あの密使は弁解がましいしかつ御詳しい fact2: もし仮にあの日前が開眼供養だし更に慈愛深いとすると人買いであるということはない fact3: もし仮にあの規制行政が粘らないとすればあのギデオン・トレメインは膀胱癌患者であるしそれに弁解がましい fact4: 仮にある物がマーシャルするし更に言い始めるとすれば粘らない fact5: あの規制行政が御詳しくないけれど弁解がましいならこのギデオン・トレメインは粘らない fact6: 「産直である」ものはある fact7: もし仮にあの日前が映画術であるとすればあの規制行政は言い始める fact8: もし仮に「何らかの物は産直であるしまた協定である」ということは成り立たないとしたら物凄くない fact9: なにがしかのものは言い始めるとすれば「それは御詳しくないがしかし弁解がましい」ということは事実である fact10: もしもこのギデオン・トレメインは言い始めるとすれば「あの密使はマーシャルする」ということは本当だ fact11: このギデオン・トレメインは言い始めるしまたそれは映画術だ fact12: このギデオン・トレメインは映画術である fact13: 「あの密使は御詳しくなくて更にそれは映画術でない」ということは成り立つとするとこのギデオン・トレメインは映画術だ fact14: 御詳しいものは粘る fact15: もし「産直な」物があるとするとあの密使は物凄くてさらに書き込める fact16: あの日前が開眼供養だし慈愛深い fact17: 「物凄くない物は映画術であるしそれに書き込める」ということは確かだ fact18: もしもなにかは人買いでないなら「産直でそれに協定である」ということは間違っている
fact1 -> int1: あの密使は御詳しい; fact14 -> int2: もしあの密使は御詳しいならば「それは粘る」ということは確かである; int1 & int2 -> int3: 「あの密使は粘る」ということは真実だ; fact11 -> int4: このギデオン・トレメインは言い始める; int4 & fact10 -> int5: あの密使はマーシャルする; int3 & int5 -> hypothesis;
このギデオン・トレメインは映画術でまた膀胱癌患者である
fact22 & fact20 -> int6: あの密使は物凄くて書き込める; int6 -> int7: あの密使は書き込める; fact21 -> int8: もしあの規制行政がマーシャルするしおまけに言い始めるならそれは粘らない;
$facts$ = fact1: あの密使は弁解がましいしかつ御詳しい fact2: もし仮にあの日前が開眼供養だし更に慈愛深いとすると人買いであるということはない fact3: もし仮にあの規制行政が粘らないとすればあのギデオン・トレメインは膀胱癌患者であるしそれに弁解がましい fact4: 仮にある物がマーシャルするし更に言い始めるとすれば粘らない fact5: あの規制行政が御詳しくないけれど弁解がましいならこのギデオン・トレメインは粘らない fact6: 「産直である」ものはある fact7: もし仮にあの日前が映画術であるとすればあの規制行政は言い始める fact8: もし仮に「何らかの物は産直であるしまた協定である」ということは成り立たないとしたら物凄くない fact9: なにがしかのものは言い始めるとすれば「それは御詳しくないがしかし弁解がましい」ということは事実である fact10: もしもこのギデオン・トレメインは言い始めるとすれば「あの密使はマーシャルする」ということは本当だ fact11: このギデオン・トレメインは言い始めるしまたそれは映画術だ fact12: このギデオン・トレメインは映画術である fact13: 「あの密使は御詳しくなくて更にそれは映画術でない」ということは成り立つとするとこのギデオン・トレメインは映画術だ fact14: 御詳しいものは粘る fact15: もし「産直な」物があるとするとあの密使は物凄くてさらに書き込める fact16: あの日前が開眼供養だし慈愛深い fact17: 「物凄くない物は映画術であるしそれに書き込める」ということは確かだ fact18: もしもなにかは人買いでないなら「産直でそれに協定である」ということは間違っている ; $hypothesis$ = あの密使は粘るし更にマーシャルする ; $proof$ = 
fact1 -> int1: あの密使は御詳しい; fact14 -> int2: もしあの密使は御詳しいならば「それは粘る」ということは確かである; int1 & int2 -> int3: 「あの密使は粘る」ということは真実だ; fact11 -> int4: このギデオン・トレメインは言い始める; int4 & fact10 -> int5: あの密使はマーシャルする; int3 & int5 -> hypothesis; __PROVED__
事実1: あの密使は弁解がましいしかつ御詳しい
事実2: もし仮にあの日前が開眼供養だし更に慈愛深いとすると人買いであるということはない
事実3: もし仮にあの規制行政が粘らないとすればあのギデオン・トレメインは膀胱癌患者であるしそれに弁解がましい
事実4: 仮にある物がマーシャルするし更に言い始めるとすれば粘らない
事実5: あの規制行政が御詳しくないけれど弁解がましいならこのギデオン・トレメインは粘らない
事実6: 「産直である」ものはある
事実7: もし仮にあの日前が映画術であるとすればあの規制行政は言い始める
事実8: もし仮に「何らかの物は産直であるしまた協定である」ということは成り立たないとしたら物凄くない
事実9: なにがしかのものは言い始めるとすれば「それは御詳しくないがしかし弁解がましい」ということは事実である
事実10: もしもこのギデオン・トレメインは言い始めるとすれば「あの密使はマーシャルする」ということは本当だ
事実11: このギデオン・トレメインは言い始めるしまたそれは映画術だ
事実12: このギデオン・トレメインは映画術である
事実13: 「あの密使は御詳しくなくて更にそれは映画術でない」ということは成り立つとするとこのギデオン・トレメインは映画術だ
事実14: 御詳しいものは粘る
事実15: もし「産直な」物があるとするとあの密使は物凄くてさらに書き込める
事実16: あの日前が開眼供養だし慈愛深い
事実17: 「物凄くない物は映画術であるしそれに書き込める」ということは確かだ
事実18: もしもなにかは人買いでないなら「産直でそれに協定である」ということは間違っている

仮説: あの密使は粘るし更にマーシャルする
1. 事実1から、推論1: "あの密使は御詳しい"が導かれる
2. 事実14から、推論2: "もしあの密使は御詳しいならば「それは粘る」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "「あの密使は粘る」ということは真実だ"が導かれる
4. 事実11から、推論4: "このギデオン・トレメインは言い始める"が導かれる
5. 推論4と事実10から、推論5: "あの密使はマーシャルする"が導かれる
6. 推論3と推論5から、仮説が導かれる

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