その多重性は価値付けない
fact1: もし「その八十二式指揮通信車は治療行為でない」ということは本当であるならばそれは事等々でないししかもルポしない fact2: この理科はルポする fact3: この釣り堀は団結権である fact4: もしもこの理科が治療行為でないとしたら車両系建設機械であるしその上それはルポする fact5: なにかは価値付けるとすると得難し fact6: 仮にこの理科は治療行為でないならばルポする fact7: この理科は団結権だ fact8: 「仮に「その多重性は団結権である」ということは確かだとするとその多重性は事等々だ」ということは偽でない fact9: もし何らかの物は団結権でないならば価値付ける fact10: その多重性は団結権である fact11: その多重性はルポしない fact12: この理科は治療行為でない fact13: 「仮にその多重性が事等々で価値付けるならばあの理科は車両系建設機械でない」ということは成り立つ fact14: その八十二式指揮通信車は治療行為だということはない fact15: あの脊椎損傷は車両系建設機械である
fact8 & fact10 -> int1: その多重性は事等々である; void -> assump1: 以下のように仮定する。その多重性は価値付ける; int1 & assump1 -> int2: その多重性は事等々でおまけに価値付ける; int2 & fact13 -> int3: この理科は車両系建設機械でない; fact12 & fact4 -> int4: この理科は車両系建設機械であるししかもルポする; int4 -> int5: この理科は車両系建設機械だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その多重性は価値付ける
fact16 -> int7: もしもその多重性は団結権だということはないなら「それは価値付ける」ということは成り立つ; fact18 & fact17 -> int8: その八十二式指揮通信車は事等々でないしさらにルポしない; int8 -> int9: その八十二式指揮通信車は事等々であるということはない; int9 -> int10: 「事等々でない」物はある;
$facts$ = fact1: もし「その八十二式指揮通信車は治療行為でない」ということは本当であるならばそれは事等々でないししかもルポしない fact2: この理科はルポする fact3: この釣り堀は団結権である fact4: もしもこの理科が治療行為でないとしたら車両系建設機械であるしその上それはルポする fact5: なにかは価値付けるとすると得難し fact6: 仮にこの理科は治療行為でないならばルポする fact7: この理科は団結権だ fact8: 「仮に「その多重性は団結権である」ということは確かだとするとその多重性は事等々だ」ということは偽でない fact9: もし何らかの物は団結権でないならば価値付ける fact10: その多重性は団結権である fact11: その多重性はルポしない fact12: この理科は治療行為でない fact13: 「仮にその多重性が事等々で価値付けるならばあの理科は車両系建設機械でない」ということは成り立つ fact14: その八十二式指揮通信車は治療行為だということはない fact15: あの脊椎損傷は車両系建設機械である ; $hypothesis$ = その多重性は価値付けない ; $proof$ = 
fact8 & fact10 -> int1: その多重性は事等々である; void -> assump1: 以下のように仮定する。その多重性は価値付ける; int1 & assump1 -> int2: その多重性は事等々でおまけに価値付ける; int2 & fact13 -> int3: この理科は車両系建設機械でない; fact12 & fact4 -> int4: この理科は車両系建設機械であるししかもルポする; int4 -> int5: この理科は車両系建設機械だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「その八十二式指揮通信車は治療行為でない」ということは本当であるならばそれは事等々でないししかもルポしない
事実2: この理科はルポする
事実3: この釣り堀は団結権である
事実4: もしもこの理科が治療行為でないとしたら車両系建設機械であるしその上それはルポする
事実5: なにかは価値付けるとすると得難し
事実6: 仮にこの理科は治療行為でないならばルポする
事実7: この理科は団結権だ
事実8: 「仮に「その多重性は団結権である」ということは確かだとするとその多重性は事等々だ」ということは偽でない
事実9: もし何らかの物は団結権でないならば価値付ける
事実10: その多重性は団結権である
事実11: その多重性はルポしない
事実12: この理科は治療行為でない
事実13: 「仮にその多重性が事等々で価値付けるならばあの理科は車両系建設機械でない」ということは成り立つ
事実14: その八十二式指揮通信車は治療行為だということはない
事実15: あの脊椎損傷は車両系建設機械である

仮説: その多重性は価値付けない
1. 事実8と事実10から、推論1: "その多重性は事等々である"が導かれる
2. 仮定1: 以下のように仮定する。その多重性は価値付ける
3. 推論1と仮定1から、推論2: "その多重性は事等々でおまけに価値付ける"が導かれる
4. 推論2と事実13から、推論3: "この理科は車両系建設機械でない"が導かれる
5. 事実12と事実4から、推論4: "この理科は車両系建設機械であるししかもルポする"が導かれる
6. 推論4から、推論5: "この理科は車両系建設機械だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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