「日本本土空襲な」物はある
fact1: 「ある物は日本本土空襲でないし十一時頃でない」ということは成り立つということはないとすれば「部材である」ということは事実だ fact2: もしあのセンターオーバー車は環境産業であるとすれば「勝ち易くないししかも雇用構造である」ということは事実と異なる fact3: 「憂い」物はある fact4: 仮に「あのセンターオーバー車は心理的現実である」ということは成り立たないならば日本本土空襲である fact5: 「あのセンターオーバー車が教唆だしそれは大人らしい」ということは偽だ fact6: あのセンターオーバー車は部材である fact7: 部材は心理的現実である fact8: もし「何かは勝ち易くないけれど心理的現実だ」ということは誤っているとするとそれは日本本土空襲だ fact9: とあるものは鉄面皮であるとしたら「それは得易い」ということは確かだ fact10: 仮に何かは心理的現実でないとすれば日本本土空襲である fact11: もし「あのセンターオーバー車は部材である」ということは真実だとすれば「勝ち易くないしかつそれは心理的現実である」ということは事実と異なる fact12: あのセンターオーバー車はＰＮＶであるとすれば「それは勝ち易い」ということは成り立つ fact13: 「「あのセンターオーバー車は心理的現実だし軌道運動だ」ということは成り立たない」ということは成り立つ fact14: もし仮にその策略は回りくどいとすれば「それは冷たいし加えて心理的現実である」ということは成り立つということはない
fact8 -> int1: もし「あのセンターオーバー車は勝ち易くないけれど心理的現実である」ということは成り立たないとすれば日本本土空襲だ; fact6 & fact11 -> int2: 「あのセンターオーバー車は勝ち易くない心理的現実である」ということは誤りだ; int1 & int2 -> int3: あのセンターオーバー車は日本本土空襲である; int3 -> hypothesis;
あの空挺隊員は心理的現実だ
fact15 -> int4: あの空挺隊員は部材だとすれば「心理的現実だ」ということは事実と異ならない; fact16 -> int5: 仮に「あの空挺隊員は日本本土空襲でないしそれは十一時頃でない」ということは誤りであるならそれは部材だ;
$facts$ = fact1: 「ある物は日本本土空襲でないし十一時頃でない」ということは成り立つということはないとすれば「部材である」ということは事実だ fact2: もしあのセンターオーバー車は環境産業であるとすれば「勝ち易くないししかも雇用構造である」ということは事実と異なる fact3: 「憂い」物はある fact4: 仮に「あのセンターオーバー車は心理的現実である」ということは成り立たないならば日本本土空襲である fact5: 「あのセンターオーバー車が教唆だしそれは大人らしい」ということは偽だ fact6: あのセンターオーバー車は部材である fact7: 部材は心理的現実である fact8: もし「何かは勝ち易くないけれど心理的現実だ」ということは誤っているとするとそれは日本本土空襲だ fact9: とあるものは鉄面皮であるとしたら「それは得易い」ということは確かだ fact10: 仮に何かは心理的現実でないとすれば日本本土空襲である fact11: もし「あのセンターオーバー車は部材である」ということは真実だとすれば「勝ち易くないしかつそれは心理的現実である」ということは事実と異なる fact12: あのセンターオーバー車はＰＮＶであるとすれば「それは勝ち易い」ということは成り立つ fact13: 「「あのセンターオーバー車は心理的現実だし軌道運動だ」ということは成り立たない」ということは成り立つ fact14: もし仮にその策略は回りくどいとすれば「それは冷たいし加えて心理的現実である」ということは成り立つということはない ; $hypothesis$ = 「日本本土空襲な」物はある ; $proof$ = 
fact8 -> int1: もし「あのセンターオーバー車は勝ち易くないけれど心理的現実である」ということは成り立たないとすれば日本本土空襲だ; fact6 & fact11 -> int2: 「あのセンターオーバー車は勝ち易くない心理的現実である」ということは誤りだ; int1 & int2 -> int3: あのセンターオーバー車は日本本土空襲である; int3 -> hypothesis; __PROVED__
事実1: 「ある物は日本本土空襲でないし十一時頃でない」ということは成り立つということはないとすれば「部材である」ということは事実だ
事実2: もしあのセンターオーバー車は環境産業であるとすれば「勝ち易くないししかも雇用構造である」ということは事実と異なる
事実3: 「憂い」物はある
事実4: 仮に「あのセンターオーバー車は心理的現実である」ということは成り立たないならば日本本土空襲である
事実5: 「あのセンターオーバー車が教唆だしそれは大人らしい」ということは偽だ
事実6: あのセンターオーバー車は部材である
事実7: 部材は心理的現実である
事実8: もし「何かは勝ち易くないけれど心理的現実だ」ということは誤っているとするとそれは日本本土空襲だ
事実9: とあるものは鉄面皮であるとしたら「それは得易い」ということは確かだ
事実10: 仮に何かは心理的現実でないとすれば日本本土空襲である
事実11: もし「あのセンターオーバー車は部材である」ということは真実だとすれば「勝ち易くないしかつそれは心理的現実である」ということは事実と異なる
事実12: あのセンターオーバー車はＰＮＶであるとすれば「それは勝ち易い」ということは成り立つ
事実13: 「「あのセンターオーバー車は心理的現実だし軌道運動だ」ということは成り立たない」ということは成り立つ
事実14: もし仮にその策略は回りくどいとすれば「それは冷たいし加えて心理的現実である」ということは成り立つということはない

仮説: 「日本本土空襲な」物はある
1. 事実8から、推論1: "もし「あのセンターオーバー車は勝ち易くないけれど心理的現実である」ということは成り立たないとすれば日本本土空襲だ"が導かれる
2. 事実6と事実11から、推論2: "「あのセンターオーバー車は勝ち易くない心理的現実である」ということは誤りだ"が導かれる
3. 推論1と推論2から、推論3: "あのセンターオーバー車は日本本土空襲である"が導かれる
4. 推論3から、仮説が導かれる

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