この第二陣は軽いかあるいはそれはスワップファイルだ
fact1: 仮になんらかのものは漂流し始めないとすれば「それは軽いかあるいはスワップファイルである」ということは偽だ fact2: もしそのＭＩＤＩレコーディングは漂流し始めないとすれば「あの受章は戦争開始でなくて漂流し始めない」ということは間違いである fact3: もしもあの排膿が登場し始めるしかつ満腹であるとしたらあの雑草種子は美々しかない fact4: 仮にそのＭＩＤＩレコーディングは漂流し始めないなら「あの受章は戦争開始でないけれど漂流し始める」ということは事実と異なる fact5: 「「あの受章は戦争開始でないけれど漂流し始める」ということは成り立たない」ということは成り立つ fact6: あの受章が膨張し続けるならばあの第二陣は軽い fact7: あの受章は漂流し始めるとすれば「それは膨張し続ける」ということは確かである fact8: 「あの排膿は満腹である」ということは本当だ fact9: 仮にあの雑草種子は美々しかないとすれば「そのＭＩＤＩレコーディングは漂流し始めない」ということは正しい fact10: あの排膿は登場し始めるし満腹だ fact11: とある物が漂流し始めるとすればそれは膨張し続ける fact12: 「もし仮に「なんらかの物は戦争開始でないし漂流し始めない」ということは間違っているなら膨張し続ける」ということは正しい
fact3 & fact10 -> int1: あの雑草種子は美々しかない; int1 & fact9 -> int2: そのＭＩＤＩレコーディングは漂流し始めない; int2 & fact2 -> int3: 「あの受章は戦争開始でないしおまけにそれは漂流し始めない」ということは成り立たない; fact12 -> int4: 「あの受章は戦争開始だということはなくてしかも漂流し始めない」ということは成り立たないならそれは膨張し続ける; int3 & int4 -> int5: あの受章は膨張し続ける; int5 & fact6 -> int6: この第二陣は軽い; int6 -> hypothesis;
「この第二陣は軽いかもしくはスワップファイルであるかまたは両方である」ということは誤っている
fact13 -> int7: もし仮にこの第二陣は漂流し始めないとすると「それは軽いかあるいはそれはスワップファイルであるか両方である」ということは成り立たない;
$facts$ = fact1: 仮になんらかのものは漂流し始めないとすれば「それは軽いかあるいはスワップファイルである」ということは偽だ fact2: もしそのＭＩＤＩレコーディングは漂流し始めないとすれば「あの受章は戦争開始でなくて漂流し始めない」ということは間違いである fact3: もしもあの排膿が登場し始めるしかつ満腹であるとしたらあの雑草種子は美々しかない fact4: 仮にそのＭＩＤＩレコーディングは漂流し始めないなら「あの受章は戦争開始でないけれど漂流し始める」ということは事実と異なる fact5: 「「あの受章は戦争開始でないけれど漂流し始める」ということは成り立たない」ということは成り立つ fact6: あの受章が膨張し続けるならばあの第二陣は軽い fact7: あの受章は漂流し始めるとすれば「それは膨張し続ける」ということは確かである fact8: 「あの排膿は満腹である」ということは本当だ fact9: 仮にあの雑草種子は美々しかないとすれば「そのＭＩＤＩレコーディングは漂流し始めない」ということは正しい fact10: あの排膿は登場し始めるし満腹だ fact11: とある物が漂流し始めるとすればそれは膨張し続ける fact12: 「もし仮に「なんらかの物は戦争開始でないし漂流し始めない」ということは間違っているなら膨張し続ける」ということは正しい ; $hypothesis$ = この第二陣は軽いかあるいはそれはスワップファイルだ ; $proof$ = 
fact3 & fact10 -> int1: あの雑草種子は美々しかない; int1 & fact9 -> int2: そのＭＩＤＩレコーディングは漂流し始めない; int2 & fact2 -> int3: 「あの受章は戦争開始でないしおまけにそれは漂流し始めない」ということは成り立たない; fact12 -> int4: 「あの受章は戦争開始だということはなくてしかも漂流し始めない」ということは成り立たないならそれは膨張し続ける; int3 & int4 -> int5: あの受章は膨張し続ける; int5 & fact6 -> int6: この第二陣は軽い; int6 -> hypothesis; __PROVED__
事実1: 仮になんらかのものは漂流し始めないとすれば「それは軽いかあるいはスワップファイルである」ということは偽だ
事実2: もしそのＭＩＤＩレコーディングは漂流し始めないとすれば「あの受章は戦争開始でなくて漂流し始めない」ということは間違いである
事実3: もしもあの排膿が登場し始めるしかつ満腹であるとしたらあの雑草種子は美々しかない
事実4: 仮にそのＭＩＤＩレコーディングは漂流し始めないなら「あの受章は戦争開始でないけれど漂流し始める」ということは事実と異なる
事実5: 「「あの受章は戦争開始でないけれど漂流し始める」ということは成り立たない」ということは成り立つ
事実6: あの受章が膨張し続けるならばあの第二陣は軽い
事実7: あの受章は漂流し始めるとすれば「それは膨張し続ける」ということは確かである
事実8: 「あの排膿は満腹である」ということは本当だ
事実9: 仮にあの雑草種子は美々しかないとすれば「そのＭＩＤＩレコーディングは漂流し始めない」ということは正しい
事実10: あの排膿は登場し始めるし満腹だ
事実11: とある物が漂流し始めるとすればそれは膨張し続ける
事実12: 「もし仮に「なんらかの物は戦争開始でないし漂流し始めない」ということは間違っているなら膨張し続ける」ということは正しい

仮説: この第二陣は軽いかあるいはそれはスワップファイルだ
1. 事実3と事実10から、推論1: "あの雑草種子は美々しかない"が導かれる
2. 推論1と事実9から、推論2: "そのＭＩＤＩレコーディングは漂流し始めない"が導かれる
3. 推論2と事実2から、推論3: "「あの受章は戦争開始でないしおまけにそれは漂流し始めない」ということは成り立たない"が導かれる
4. 事実12から、推論4: "「あの受章は戦争開始だということはなくてしかも漂流し始めない」ということは成り立たないならそれは膨張し続ける"が導かれる
5. 推論3と推論4から、推論5: "あの受章は膨張し続ける"が導かれる
6. 推論5と事実6から、推論6: "この第二陣は軽い"が導かれる
7. 推論6から、仮説が導かれる

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