もしその表示モードは音楽大学でないとすると「その階段上昇はノモンハン事件であるしそれは危篤である」ということは事実と異なる
fact1: その表示モードは危篤でない fact2: もし何かは一対多でないとするとそれは危篤でない fact3: あの坊ちゃんはノモンハン事件である fact4: もしもその表示モードが申し述べないとすればノモンハン事件であるしそれにそれは御預かり致す fact5: もし仮に何かはノモンハン事件であるということはないとしたら音楽大学でない fact6: 「この斜視はノモンハン事件であるしまた危篤である」ということは嘘だ fact7: この斜視は御預かり致す fact8: もしも「その表示モードは音楽大学でなくてそれは危篤でない」ということは誤りであるならばあの斜視は音楽大学でない fact9: もしその階段上昇は一対多でないならば「この斜視は危篤だしノモンハン事件である」ということは成り立たない fact10: そのビジネスマン達は一対多でない fact11: もし「その階段上昇は一対多でない」ということは正しいとすると「「この斜視はノモンハン事件であるしかつ危篤である」ということは事実である」ということは成り立たない fact12: 「その表示モードは音楽大学で危篤である」ということは間違いである fact13: なにかは一対多でないとすると「音楽大学でないしそれにそれは危篤でない」ということは成り立たない fact14: 仮に「この斜視は一対多だ」ということは確かであるとしたらその表示モードは音楽大学である fact15: その階段上昇は危篤でないとしたら「この斜視は一対多であるし加えてノモンハン事件だ」ということは事実と異なる fact16: その階段上昇は音楽大学である fact17: もし仮に何かは布教すれば一対多でない fact18: 仮にこの斜視は危篤でないならば「その階段上昇はノモンハン事件でかつ危篤だ」ということは間違っている
void -> assump2: 以下のように仮定する。この斜視は一対多である; fact14 & assump2 -> int1: その表示モードは音楽大学である; void -> assump1: 以下のように仮定する。その表示モードは音楽大学でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この斜視は一対多でない; fact2 -> int4: もしもこの斜視は一対多でないなら危篤でない; int3 & int4 -> int5: この斜視は危篤でない; int5 & fact18 -> int6: 「その階段上昇はノモンハン事件であるしその上それは危篤だ」ということは間違いだ; [assump1] & int6 -> hypothesis;
「この斜視は音楽大学でない」ということは成り立つ
fact21 -> int7: もしその表示モードは一対多でないならば「音楽大学でないしまた危篤でない」ということは成り立たない; fact19 -> int8: 仮にその表示モードが布教するとすれば一対多でない;
$facts$ = fact1: その表示モードは危篤でない fact2: もし何かは一対多でないとするとそれは危篤でない fact3: あの坊ちゃんはノモンハン事件である fact4: もしもその表示モードが申し述べないとすればノモンハン事件であるしそれにそれは御預かり致す fact5: もし仮に何かはノモンハン事件であるということはないとしたら音楽大学でない fact6: 「この斜視はノモンハン事件であるしまた危篤である」ということは嘘だ fact7: この斜視は御預かり致す fact8: もしも「その表示モードは音楽大学でなくてそれは危篤でない」ということは誤りであるならばあの斜視は音楽大学でない fact9: もしその階段上昇は一対多でないならば「この斜視は危篤だしノモンハン事件である」ということは成り立たない fact10: そのビジネスマン達は一対多でない fact11: もし「その階段上昇は一対多でない」ということは正しいとすると「「この斜視はノモンハン事件であるしかつ危篤である」ということは事実である」ということは成り立たない fact12: 「その表示モードは音楽大学で危篤である」ということは間違いである fact13: なにかは一対多でないとすると「音楽大学でないしそれにそれは危篤でない」ということは成り立たない fact14: 仮に「この斜視は一対多だ」ということは確かであるとしたらその表示モードは音楽大学である fact15: その階段上昇は危篤でないとしたら「この斜視は一対多であるし加えてノモンハン事件だ」ということは事実と異なる fact16: その階段上昇は音楽大学である fact17: もし仮に何かは布教すれば一対多でない fact18: 仮にこの斜視は危篤でないならば「その階段上昇はノモンハン事件でかつ危篤だ」ということは間違っている ; $hypothesis$ = もしその表示モードは音楽大学でないとすると「その階段上昇はノモンハン事件であるしそれは危篤である」ということは事実と異なる ; $proof$ = 
void -> assump2: 以下のように仮定する。この斜視は一対多である; fact14 & assump2 -> int1: その表示モードは音楽大学である; void -> assump1: 以下のように仮定する。その表示モードは音楽大学でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この斜視は一対多でない; fact2 -> int4: もしもこの斜視は一対多でないなら危篤でない; int3 & int4 -> int5: この斜視は危篤でない; int5 & fact18 -> int6: 「その階段上昇はノモンハン事件であるしその上それは危篤だ」ということは間違いだ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その表示モードは危篤でない
事実2: もし何かは一対多でないとするとそれは危篤でない
事実3: あの坊ちゃんはノモンハン事件である
事実4: もしもその表示モードが申し述べないとすればノモンハン事件であるしそれにそれは御預かり致す
事実5: もし仮に何かはノモンハン事件であるということはないとしたら音楽大学でない
事実6: 「この斜視はノモンハン事件であるしまた危篤である」ということは嘘だ
事実7: この斜視は御預かり致す
事実8: もしも「その表示モードは音楽大学でなくてそれは危篤でない」ということは誤りであるならばあの斜視は音楽大学でない
事実9: もしその階段上昇は一対多でないならば「この斜視は危篤だしノモンハン事件である」ということは成り立たない
事実10: そのビジネスマン達は一対多でない
事実11: もし「その階段上昇は一対多でない」ということは正しいとすると「「この斜視はノモンハン事件であるしかつ危篤である」ということは事実である」ということは成り立たない
事実12: 「その表示モードは音楽大学で危篤である」ということは間違いである
事実13: なにかは一対多でないとすると「音楽大学でないしそれにそれは危篤でない」ということは成り立たない
事実14: 仮に「この斜視は一対多だ」ということは確かであるとしたらその表示モードは音楽大学である
事実15: その階段上昇は危篤でないとしたら「この斜視は一対多であるし加えてノモンハン事件だ」ということは事実と異なる
事実16: その階段上昇は音楽大学である
事実17: もし仮に何かは布教すれば一対多でない
事実18: 仮にこの斜視は危篤でないならば「その階段上昇はノモンハン事件でかつ危篤だ」ということは間違っている

仮説: もしその表示モードは音楽大学でないとすると「その階段上昇はノモンハン事件であるしそれは危篤である」ということは事実と異なる
1. 仮定2: 以下のように仮定する。この斜視は一対多である
2. 事実14と仮定2から、推論1: "その表示モードは音楽大学である"が導かれる
3. 仮定1: 以下のように仮定する。その表示モードは音楽大学でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この斜視は一対多でない"が導かれる
6. 事実2から、推論4: "もしもこの斜視は一対多でないなら危篤でない"が導かれる
7. 推論3と推論4から、推論5: "この斜視は危篤でない"が導かれる
8. 推論5と事実18から、推論6: "「その階段上昇はノモンハン事件であるしその上それは危篤だ」ということは間違いだ"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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