「このマリンちゃんリーチはグラフィックボードでないか守り易いということはない」ということは成り立たない
fact1: もし何かは供述するとしたらグラフィックボードでない fact2: ネイション・オブ・イスラムは供述する fact3: もし仮になんらかのものは経るとすれば「それはネイション・オブ・イスラムでない」ということは確かである fact4: 「経る」ものはある fact5: 「もし仮にあの後妻がグラフィックボードでないならこのマリンちゃんリーチはグラフィックボードでないかあるいは守り易くない」ということは真実である fact6: このマリンちゃんリーチがグラフィックボードであるということはないとするとあの後妻はグラフィックボードでないかもしくは守り易くないかあるいは両方だ fact7: 「もし仮になんらかの物が経るとするとあの後妻はネイション・オブ・イスラムだししかも配置する」ということは本当だ fact8: このマリンちゃんリーチはグラフィックボードであるかあるいは守り易くない fact9: もし仮にあの後妻は動揺し易いということはないかあるいは守り易くないかあるいは両方ともであるならば「グラフィックボードである」ということは正しい
fact4 & fact7 -> int1: あの後妻がネイション・オブ・イスラムだししかもそれは配置する; int1 -> int2: あの後妻はネイション・オブ・イスラムである; fact2 -> int3: あの後妻はネイション・オブ・イスラムであるとしたらそれは供述する; int2 & int3 -> int4: あの後妻は供述する; fact1 -> int5: あの後妻が供述すればグラフィックボードでない; int4 & int5 -> int6: 「あの後妻はグラフィックボードでない」ということは事実である; int6 & fact5 -> hypothesis;
その太宗皇帝はネイション・オブ・イスラムでない
fact11 -> int7: もし仮にその太宗皇帝が経ればネイション・オブ・イスラムでない;
$facts$ = fact1: もし何かは供述するとしたらグラフィックボードでない fact2: ネイション・オブ・イスラムは供述する fact3: もし仮になんらかのものは経るとすれば「それはネイション・オブ・イスラムでない」ということは確かである fact4: 「経る」ものはある fact5: 「もし仮にあの後妻がグラフィックボードでないならこのマリンちゃんリーチはグラフィックボードでないかあるいは守り易くない」ということは真実である fact6: このマリンちゃんリーチがグラフィックボードであるということはないとするとあの後妻はグラフィックボードでないかもしくは守り易くないかあるいは両方だ fact7: 「もし仮になんらかの物が経るとするとあの後妻はネイション・オブ・イスラムだししかも配置する」ということは本当だ fact8: このマリンちゃんリーチはグラフィックボードであるかあるいは守り易くない fact9: もし仮にあの後妻は動揺し易いということはないかあるいは守り易くないかあるいは両方ともであるならば「グラフィックボードである」ということは正しい ; $hypothesis$ = 「このマリンちゃんリーチはグラフィックボードでないか守り易いということはない」ということは成り立たない ; $proof$ = 
fact4 & fact7 -> int1: あの後妻がネイション・オブ・イスラムだししかもそれは配置する; int1 -> int2: あの後妻はネイション・オブ・イスラムである; fact2 -> int3: あの後妻はネイション・オブ・イスラムであるとしたらそれは供述する; int2 & int3 -> int4: あの後妻は供述する; fact1 -> int5: あの後妻が供述すればグラフィックボードでない; int4 & int5 -> int6: 「あの後妻はグラフィックボードでない」ということは事実である; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何かは供述するとしたらグラフィックボードでない
事実2: ネイション・オブ・イスラムは供述する
事実3: もし仮になんらかのものは経るとすれば「それはネイション・オブ・イスラムでない」ということは確かである
事実4: 「経る」ものはある
事実5: 「もし仮にあの後妻がグラフィックボードでないならこのマリンちゃんリーチはグラフィックボードでないかあるいは守り易くない」ということは真実である
事実6: このマリンちゃんリーチがグラフィックボードであるということはないとするとあの後妻はグラフィックボードでないかもしくは守り易くないかあるいは両方だ
事実7: 「もし仮になんらかの物が経るとするとあの後妻はネイション・オブ・イスラムだししかも配置する」ということは本当だ
事実8: このマリンちゃんリーチはグラフィックボードであるかあるいは守り易くない
事実9: もし仮にあの後妻は動揺し易いということはないかあるいは守り易くないかあるいは両方ともであるならば「グラフィックボードである」ということは正しい

仮説: 「このマリンちゃんリーチはグラフィックボードでないか守り易いということはない」ということは成り立たない
1. 事実4と事実7から、推論1: "あの後妻がネイション・オブ・イスラムだししかもそれは配置する"が導かれる
2. 推論1から、推論2: "あの後妻はネイション・オブ・イスラムである"が導かれる
3. 事実2から、推論3: "あの後妻はネイション・オブ・イスラムであるとしたらそれは供述する"が導かれる
4. 推論2と推論3から、推論4: "あの後妻は供述する"が導かれる
5. 事実1から、推論5: "あの後妻が供述すればグラフィックボードでない"が導かれる
6. 推論4と推論5から、推論6: "「あの後妻はグラフィックボードでない」ということは事実である"が導かれる
7. 推論6と事実5から、仮説が否定される

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