「その四神は悪しいし更にノモンハン事件だ」ということは偽だ
fact1: もし仮にあの公式戦がノモンハン事件だとしたらその四神はノモンハン事件だ fact2: もしもあの公式戦が最もらしいならばその四神はノモンハン事件だ fact3: あの公式戦は渋くない fact4: 「仮にその補助記憶装置が誇らしいならその補助記憶装置は批評し合う」ということは正しい fact5: その補助記憶装置は渋い fact6: もしも「その補助記憶装置は批評し合う」ということは事実ならばあの四神は悪しい fact7: その補助記憶装置は誇らしい fact8: その補助記憶装置は誇らしいということはないとしたら「その四神は悪しくてさらにそれはノモンハン事件である」ということは間違っている fact9: もしあの公式戦が渋いということはないとするとノモンハン事件であるかそれは最もらしいか両方だ
fact4 & fact7 -> int1: その補助記憶装置は批評し合う; int1 & fact6 -> int2: その四神は悪しい; fact9 & fact3 -> int3: あの公式戦はノモンハン事件であるかまたはそれは最もらしい; int3 & fact1 & fact2 -> int4: その四神はノモンハン事件だ; int2 & int4 -> hypothesis;
「その四神は悪しくてそれはノモンハン事件だ」ということは成り立たない
$facts$ = fact1: もし仮にあの公式戦がノモンハン事件だとしたらその四神はノモンハン事件だ fact2: もしもあの公式戦が最もらしいならばその四神はノモンハン事件だ fact3: あの公式戦は渋くない fact4: 「仮にその補助記憶装置が誇らしいならその補助記憶装置は批評し合う」ということは正しい fact5: その補助記憶装置は渋い fact6: もしも「その補助記憶装置は批評し合う」ということは事実ならばあの四神は悪しい fact7: その補助記憶装置は誇らしい fact8: その補助記憶装置は誇らしいということはないとしたら「その四神は悪しくてさらにそれはノモンハン事件である」ということは間違っている fact9: もしあの公式戦が渋いということはないとするとノモンハン事件であるかそれは最もらしいか両方だ ; $hypothesis$ = 「その四神は悪しいし更にノモンハン事件だ」ということは偽だ ; $proof$ = 
fact4 & fact7 -> int1: その補助記憶装置は批評し合う; int1 & fact6 -> int2: その四神は悪しい; fact9 & fact3 -> int3: あの公式戦はノモンハン事件であるかまたはそれは最もらしい; int3 & fact1 & fact2 -> int4: その四神はノモンハン事件だ; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの公式戦がノモンハン事件だとしたらその四神はノモンハン事件だ
事実2: もしもあの公式戦が最もらしいならばその四神はノモンハン事件だ
事実3: あの公式戦は渋くない
事実4: 「仮にその補助記憶装置が誇らしいならその補助記憶装置は批評し合う」ということは正しい
事実5: その補助記憶装置は渋い
事実6: もしも「その補助記憶装置は批評し合う」ということは事実ならばあの四神は悪しい
事実7: その補助記憶装置は誇らしい
事実8: その補助記憶装置は誇らしいということはないとしたら「その四神は悪しくてさらにそれはノモンハン事件である」ということは間違っている
事実9: もしあの公式戦が渋いということはないとするとノモンハン事件であるかそれは最もらしいか両方だ

仮説: 「その四神は悪しいし更にノモンハン事件だ」ということは偽だ
1. 事実4と事実7から、推論1: "その補助記憶装置は批評し合う"が導かれる
2. 推論1と事実6から、推論2: "その四神は悪しい"が導かれる
3. 事実9と事実3から、推論3: "あの公式戦はノモンハン事件であるかまたはそれは最もらしい"が導かれる
4. 推論3と事実1と事実2から、推論4: "その四神はノモンハン事件だ"が導かれる
5. 推論2と推論4から、仮説が否定される

よって、仮説が否定されました。