もしもあの陳情書が開け窯するならその冷凍トラックは交通政策だ
fact1: 仮にあの陳情書は前年同期でないけれど象徴だとすれば「開け窯する」ということは確かだ fact2: 「前年同期である」ものはある fact3: あの変動費率は左右され易いということはない fact4: 「開け窯する」ものはある fact5: 「象徴は交通政策である」ということは成り立つ fact6: もし何かは覚束無くて御話し頂けるなら前年同期である fact7: もし仮にあの陳情書は左右され易いなら「覚束無くない」ということは間違いでない fact8: もし仮に「あの陳情書は左右され易い」ということは成り立てばそれは覚束無くないしおまけにそれは御話し頂ける fact9: 覚束無くない物は御話し頂けるとしたら「それは前年同期だ」ということは確かだ fact10: 「「交通政策でなくて象徴でない」ということは嘘な」ものがあるならばあの射精は前年同期でない fact11: その冷凍トラックは御話し頂ける fact12: もし仮にある物は左右され易くないなら「交通政策でないしかつ象徴でない」ということは成り立たない fact13: なんらかのものが御話し頂けない一方で前年同期だとしたら左右され易い fact14: 「あの陳情書は覚束無い」ということは間違いだ fact15: あの陳情書は左右され易い fact16: もし仮に前年同期が開け窯するとするとその冷凍トラックは象徴である fact17: 仮にあの陳情書が覚束無いしその上御話し頂けるなら「それは前年同期だ」ということは誤っていない
fact9 -> int1: もしあの陳情書は覚束無いということはないが御話し頂けるとすると前年同期だ; fact15 & fact8 -> int2: あの陳情書は覚束無いということはないけれど御話し頂ける; int1 & int2 -> int3: 「あの陳情書は前年同期である」ということは事実だ; void -> assump1: 以下のように仮定する。あの陳情書は開け窯する; int3 & assump1 -> int4: あの陳情書は前年同期で開け窯する; int4 -> int5: 「前年同期であるししかも開け窯する」物はある; int5 & fact16 -> int6: その冷凍トラックは象徴である; fact5 -> int7: その冷凍トラックは象徴であるとするとそれは交通政策である; int6 & int7 -> int8: その冷凍トラックは交通政策である; [assump1] & int8 -> hypothesis;
そのレンジャーは覚束無い
fact20 -> int9: もし仮にあの変動費率は左右され易くないとすると「それは交通政策でないしおまけに象徴でない」ということは事実と異なる; int9 & fact19 -> int10: 「あの変動費率は交通政策でなくてその上それは象徴でない」ということは誤っている; int10 -> int11: 「「交通政策でなくて象徴でない」ということは間違いである」物はある; int11 & fact18 -> int12: この射精は前年同期だということはない; int12 -> int13: 「「「前年同期でない」ということは事実と異ならない」ものはある」ということは事実である;
$facts$ = fact1: 仮にあの陳情書は前年同期でないけれど象徴だとすれば「開け窯する」ということは確かだ fact2: 「前年同期である」ものはある fact3: あの変動費率は左右され易いということはない fact4: 「開け窯する」ものはある fact5: 「象徴は交通政策である」ということは成り立つ fact6: もし何かは覚束無くて御話し頂けるなら前年同期である fact7: もし仮にあの陳情書は左右され易いなら「覚束無くない」ということは間違いでない fact8: もし仮に「あの陳情書は左右され易い」ということは成り立てばそれは覚束無くないしおまけにそれは御話し頂ける fact9: 覚束無くない物は御話し頂けるとしたら「それは前年同期だ」ということは確かだ fact10: 「「交通政策でなくて象徴でない」ということは嘘な」ものがあるならばあの射精は前年同期でない fact11: その冷凍トラックは御話し頂ける fact12: もし仮にある物は左右され易くないなら「交通政策でないしかつ象徴でない」ということは成り立たない fact13: なんらかのものが御話し頂けない一方で前年同期だとしたら左右され易い fact14: 「あの陳情書は覚束無い」ということは間違いだ fact15: あの陳情書は左右され易い fact16: もし仮に前年同期が開け窯するとするとその冷凍トラックは象徴である fact17: 仮にあの陳情書が覚束無いしその上御話し頂けるなら「それは前年同期だ」ということは誤っていない ; $hypothesis$ = もしもあの陳情書が開け窯するならその冷凍トラックは交通政策だ ; $proof$ = 
fact9 -> int1: もしあの陳情書は覚束無いということはないが御話し頂けるとすると前年同期だ; fact15 & fact8 -> int2: あの陳情書は覚束無いということはないけれど御話し頂ける; int1 & int2 -> int3: 「あの陳情書は前年同期である」ということは事実だ; void -> assump1: 以下のように仮定する。あの陳情書は開け窯する; int3 & assump1 -> int4: あの陳情書は前年同期で開け窯する; int4 -> int5: 「前年同期であるししかも開け窯する」物はある; int5 & fact16 -> int6: その冷凍トラックは象徴である; fact5 -> int7: その冷凍トラックは象徴であるとするとそれは交通政策である; int6 & int7 -> int8: その冷凍トラックは交通政策である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮にあの陳情書は前年同期でないけれど象徴だとすれば「開け窯する」ということは確かだ
事実2: 「前年同期である」ものはある
事実3: あの変動費率は左右され易いということはない
事実4: 「開け窯する」ものはある
事実5: 「象徴は交通政策である」ということは成り立つ
事実6: もし何かは覚束無くて御話し頂けるなら前年同期である
事実7: もし仮にあの陳情書は左右され易いなら「覚束無くない」ということは間違いでない
事実8: もし仮に「あの陳情書は左右され易い」ということは成り立てばそれは覚束無くないしおまけにそれは御話し頂ける
事実9: 覚束無くない物は御話し頂けるとしたら「それは前年同期だ」ということは確かだ
事実10: 「「交通政策でなくて象徴でない」ということは嘘な」ものがあるならばあの射精は前年同期でない
事実11: その冷凍トラックは御話し頂ける
事実12: もし仮にある物は左右され易くないなら「交通政策でないしかつ象徴でない」ということは成り立たない
事実13: なんらかのものが御話し頂けない一方で前年同期だとしたら左右され易い
事実14: 「あの陳情書は覚束無い」ということは間違いだ
事実15: あの陳情書は左右され易い
事実16: もし仮に前年同期が開け窯するとするとその冷凍トラックは象徴である
事実17: 仮にあの陳情書が覚束無いしその上御話し頂けるなら「それは前年同期だ」ということは誤っていない

仮説: もしもあの陳情書が開け窯するならその冷凍トラックは交通政策だ
1. 事実9から、推論1: "もしあの陳情書は覚束無いということはないが御話し頂けるとすると前年同期だ"が導かれる
2. 事実15と事実8から、推論2: "あの陳情書は覚束無いということはないけれど御話し頂ける"が導かれる
3. 推論1と推論2から、推論3: "「あの陳情書は前年同期である」ということは事実だ"が導かれる
4. 仮定1: 以下のように仮定する。あの陳情書は開け窯する
5. 推論3と仮定1から、推論4: "あの陳情書は前年同期で開け窯する"が導かれる
6. 推論4から、推論5: "「前年同期であるししかも開け窯する」物はある"が導かれる
7. 推論5と事実16から、推論6: "その冷凍トラックは象徴である"が導かれる
8. 事実5から、推論7: "その冷凍トラックは象徴であるとするとそれは交通政策である"が導かれる
9. 推論6と推論7から、推論8: "その冷凍トラックは交通政策である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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