あのスペクトルは開設出来ないならば「このノルムは現地軍でないがそれは御飯粒だ」ということは成り立つということはない
fact1: ある物が付け加えるしその上それは日本らしい fact2: もしこのノルムは雪山でないならば「それは御飯粒であるということはないし開設出来る」ということは成り立たない fact3: もし仮にあのスペクトルが開設出来るということはないとしたらこのノルムは現地軍でないけれどそれは御飯粒だ fact4: 「日本らしい」物はある fact5: もしもとある物は開設出来ないとしたら「御飯粒でなくて更にそれは現地軍である」ということは嘘だ fact6: 仮にあのスペクトルは開設出来ないなら「このノルムは現地軍であるしおまけに御飯粒だ」ということは成り立たない fact7: このノルムは御飯粒でないとすると「あのスペクトルは雪山でないがしかし現地軍だ」ということは間違っている fact8: このノルムは付け加えない fact9: もし仮にあのスペクトルは開設出来れば「このノルムは現地軍でないが御飯粒である」ということは事実でない fact10: 「付け加える」ものはある fact11: もしも「現地軍であるしその上開設出来る」ものがあるならこのノルムは御飯粒でない fact12: 仮にこのノルムは捕らえ易くないならば「それは御飯粒でない一方で雪山である」ということは誤りである fact13: あのスペクトルは齧り付かない fact14: 「このノルムは現地軍でそれは御飯粒だ」ということは真実でない fact15: 捕らえ易い物が開設出来るとするとこのノルムは御飯粒だということはない fact16: 捕らえ易いということはないものは現地軍でないけれど御飯粒である fact17: もし仮にあのスペクトルは現地軍だということはないならば「このノルムは雪山でない一方で開設出来る」ということは成り立たない fact18: 「もし「付け加えるし日本らしい」ものがあるならあのスペクトルは雪山でない」ということは成り立つ fact19: あのスペクトルが雪山でないししかも開設出来ないとしたらこのノルムは捕らえ易くない fact20: 「このノルムは捕らえ易くないなら「このノルムは現地軍であるし加えて御飯粒だ」ということは事実と異なる」ということは成り立つ fact21: 仮にある物は捕らえ易くないならば「現地軍であるということはなくてそれは御飯粒である」ということは偽である fact22: もしもなんらかのものは捕らえ易くないとしたら「それは現地軍だしさらに開設出来る」ということは誤っている
fact1 & fact18 -> int1: あのスペクトルは雪山でない; void -> assump1: 以下のように仮定する。あのスペクトルは開設出来るということはない; int1 & assump1 -> int2: あのスペクトルは雪山でなくておまけに開設出来ない; int2 & fact19 -> int3: このノルムは捕らえ易いということはない; fact21 -> int4: このノルムは捕らえ易くないとすると「現地軍であるということはなくてそれは御飯粒である」ということは事実でない; int3 & int4 -> int5: 「このノルムは現地軍でないけれど御飯粒だ」ということは成り立たない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: ある物が付け加えるしその上それは日本らしい fact2: もしこのノルムは雪山でないならば「それは御飯粒であるということはないし開設出来る」ということは成り立たない fact3: もし仮にあのスペクトルが開設出来るということはないとしたらこのノルムは現地軍でないけれどそれは御飯粒だ fact4: 「日本らしい」物はある fact5: もしもとある物は開設出来ないとしたら「御飯粒でなくて更にそれは現地軍である」ということは嘘だ fact6: 仮にあのスペクトルは開設出来ないなら「このノルムは現地軍であるしおまけに御飯粒だ」ということは成り立たない fact7: このノルムは御飯粒でないとすると「あのスペクトルは雪山でないがしかし現地軍だ」ということは間違っている fact8: このノルムは付け加えない fact9: もし仮にあのスペクトルは開設出来れば「このノルムは現地軍でないが御飯粒である」ということは事実でない fact10: 「付け加える」ものはある fact11: もしも「現地軍であるしその上開設出来る」ものがあるならこのノルムは御飯粒でない fact12: 仮にこのノルムは捕らえ易くないならば「それは御飯粒でない一方で雪山である」ということは誤りである fact13: あのスペクトルは齧り付かない fact14: 「このノルムは現地軍でそれは御飯粒だ」ということは真実でない fact15: 捕らえ易い物が開設出来るとするとこのノルムは御飯粒だということはない fact16: 捕らえ易いということはないものは現地軍でないけれど御飯粒である fact17: もし仮にあのスペクトルは現地軍だということはないならば「このノルムは雪山でない一方で開設出来る」ということは成り立たない fact18: 「もし「付け加えるし日本らしい」ものがあるならあのスペクトルは雪山でない」ということは成り立つ fact19: あのスペクトルが雪山でないししかも開設出来ないとしたらこのノルムは捕らえ易くない fact20: 「このノルムは捕らえ易くないなら「このノルムは現地軍であるし加えて御飯粒だ」ということは事実と異なる」ということは成り立つ fact21: 仮にある物は捕らえ易くないならば「現地軍であるということはなくてそれは御飯粒である」ということは偽である fact22: もしもなんらかのものは捕らえ易くないとしたら「それは現地軍だしさらに開設出来る」ということは誤っている ; $hypothesis$ = あのスペクトルは開設出来ないならば「このノルムは現地軍でないがそれは御飯粒だ」ということは成り立つということはない ; $proof$ = 
fact1 & fact18 -> int1: あのスペクトルは雪山でない; void -> assump1: 以下のように仮定する。あのスペクトルは開設出来るということはない; int1 & assump1 -> int2: あのスペクトルは雪山でなくておまけに開設出来ない; int2 & fact19 -> int3: このノルムは捕らえ易いということはない; fact21 -> int4: このノルムは捕らえ易くないとすると「現地軍であるということはなくてそれは御飯粒である」ということは事実でない; int3 & int4 -> int5: 「このノルムは現地軍でないけれど御飯粒だ」ということは成り立たない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: ある物が付け加えるしその上それは日本らしい
事実2: もしこのノルムは雪山でないならば「それは御飯粒であるということはないし開設出来る」ということは成り立たない
事実3: もし仮にあのスペクトルが開設出来るということはないとしたらこのノルムは現地軍でないけれどそれは御飯粒だ
事実4: 「日本らしい」物はある
事実5: もしもとある物は開設出来ないとしたら「御飯粒でなくて更にそれは現地軍である」ということは嘘だ
事実6: 仮にあのスペクトルは開設出来ないなら「このノルムは現地軍であるしおまけに御飯粒だ」ということは成り立たない
事実7: このノルムは御飯粒でないとすると「あのスペクトルは雪山でないがしかし現地軍だ」ということは間違っている
事実8: このノルムは付け加えない
事実9: もし仮にあのスペクトルは開設出来れば「このノルムは現地軍でないが御飯粒である」ということは事実でない
事実10: 「付け加える」ものはある
事実11: もしも「現地軍であるしその上開設出来る」ものがあるならこのノルムは御飯粒でない
事実12: 仮にこのノルムは捕らえ易くないならば「それは御飯粒でない一方で雪山である」ということは誤りである
事実13: あのスペクトルは齧り付かない
事実14: 「このノルムは現地軍でそれは御飯粒だ」ということは真実でない
事実15: 捕らえ易い物が開設出来るとするとこのノルムは御飯粒だということはない
事実16: 捕らえ易いということはないものは現地軍でないけれど御飯粒である
事実17: もし仮にあのスペクトルは現地軍だということはないならば「このノルムは雪山でない一方で開設出来る」ということは成り立たない
事実18: 「もし「付け加えるし日本らしい」ものがあるならあのスペクトルは雪山でない」ということは成り立つ
事実19: あのスペクトルが雪山でないししかも開設出来ないとしたらこのノルムは捕らえ易くない
事実20: 「このノルムは捕らえ易くないなら「このノルムは現地軍であるし加えて御飯粒だ」ということは事実と異なる」ということは成り立つ
事実21: 仮にある物は捕らえ易くないならば「現地軍であるということはなくてそれは御飯粒である」ということは偽である
事実22: もしもなんらかのものは捕らえ易くないとしたら「それは現地軍だしさらに開設出来る」ということは誤っている

仮説: あのスペクトルは開設出来ないならば「このノルムは現地軍でないがそれは御飯粒だ」ということは成り立つということはない
1. 事実1と事実18から、推論1: "あのスペクトルは雪山でない"が導かれる
2. 仮定1: 以下のように仮定する。あのスペクトルは開設出来るということはない
3. 推論1と仮定1から、推論2: "あのスペクトルは雪山でなくておまけに開設出来ない"が導かれる
4. 推論2と事実19から、推論3: "このノルムは捕らえ易いということはない"が導かれる
5. 事実21から、推論4: "このノルムは捕らえ易くないとすると「現地軍であるということはなくてそれは御飯粒である」ということは事実でない"が導かれる
6. 推論3と推論4から、推論5: "「このノルムは現地軍でないけれど御飯粒だ」ということは成り立たない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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