このプレイヤー同士は狡賢い
fact1: もし仮に「このプレイヤー同士は濃染めする」ということは成り立てばオリジナル編集版でなくてまた誤る fact2: もし仮にこのプレイヤー同士が人間らしいとすればそれは誤らないけれど拾える fact3: 仮にあの訳者後書きが増税法案だがしかしそれが切なくないならばこのプレイヤー同士は愚かしくない fact4: 「その鯉幟は感じ易くない」ということは本当だとしたらそれは増税法案であるしそれに華々しい fact5: このプレイヤー同士は濃染めする fact6: あの遅さは濃染めする fact7: 仮にあの啜り泣きが嫉妬深くないならあの訳者後書きは増税法案だけれど切なくない fact8: もしその鯉幟は愚かしいがしかし切なくないとすれば誤らない fact9: その鯉幟は感じ易くない fact10: 仮にあるものは愚かしくないとすると「狡賢くてそれに濃染めする」ということは成り立つ fact11: もしもなんらかの物がオリジナル編集版でないけれど誤るなら狡賢くない fact12: もしも「その鯉幟は増税法案だ」ということは事実であるとすれば「愚かしいしその上それは切ないということはない」ということは正しい
fact1 & fact5 -> int1: このプレイヤー同士はオリジナル編集版でないがしかしそれは誤る; fact11 -> int2: もし仮にこのプレイヤー同士はオリジナル編集版でないけど誤るとすれば狡賢くない; int1 & int2 -> hypothesis;
fact1 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); fact11 -> int2: (¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
このプレイヤー同士は狡賢い
fact15 -> int3: もし仮にこのプレイヤー同士が愚かしいということはないならばそれは狡賢いしそれは濃染めする;
$facts$ = fact1: もし仮に「このプレイヤー同士は濃染めする」ということは成り立てばオリジナル編集版でなくてまた誤る fact2: もし仮にこのプレイヤー同士が人間らしいとすればそれは誤らないけれど拾える fact3: 仮にあの訳者後書きが増税法案だがしかしそれが切なくないならばこのプレイヤー同士は愚かしくない fact4: 「その鯉幟は感じ易くない」ということは本当だとしたらそれは増税法案であるしそれに華々しい fact5: このプレイヤー同士は濃染めする fact6: あの遅さは濃染めする fact7: 仮にあの啜り泣きが嫉妬深くないならあの訳者後書きは増税法案だけれど切なくない fact8: もしその鯉幟は愚かしいがしかし切なくないとすれば誤らない fact9: その鯉幟は感じ易くない fact10: 仮にあるものは愚かしくないとすると「狡賢くてそれに濃染めする」ということは成り立つ fact11: もしもなんらかの物がオリジナル編集版でないけれど誤るなら狡賢くない fact12: もしも「その鯉幟は増税法案だ」ということは事実であるとすれば「愚かしいしその上それは切ないということはない」ということは正しい ; $hypothesis$ = このプレイヤー同士は狡賢い ; $proof$ = 
fact1 & fact5 -> int1: このプレイヤー同士はオリジナル編集版でないがしかしそれは誤る; fact11 -> int2: もし仮にこのプレイヤー同士はオリジナル編集版でないけど誤るとすれば狡賢くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「このプレイヤー同士は濃染めする」ということは成り立てばオリジナル編集版でなくてまた誤る
事実2: もし仮にこのプレイヤー同士が人間らしいとすればそれは誤らないけれど拾える
事実3: 仮にあの訳者後書きが増税法案だがしかしそれが切なくないならばこのプレイヤー同士は愚かしくない
事実4: 「その鯉幟は感じ易くない」ということは本当だとしたらそれは増税法案であるしそれに華々しい
事実5: このプレイヤー同士は濃染めする
事実6: あの遅さは濃染めする
事実7: 仮にあの啜り泣きが嫉妬深くないならあの訳者後書きは増税法案だけれど切なくない
事実8: もしその鯉幟は愚かしいがしかし切なくないとすれば誤らない
事実9: その鯉幟は感じ易くない
事実10: 仮にあるものは愚かしくないとすると「狡賢くてそれに濃染めする」ということは成り立つ
事実11: もしもなんらかの物がオリジナル編集版でないけれど誤るなら狡賢くない
事実12: もしも「その鯉幟は増税法案だ」ということは事実であるとすれば「愚かしいしその上それは切ないということはない」ということは正しい

仮説: このプレイヤー同士は狡賢い
1. 事実1と事実5から、推論1: "このプレイヤー同士はオリジナル編集版でないがしかしそれは誤る"が導かれる
2. 事実11から、推論2: "もし仮にこのプレイヤー同士はオリジナル編集版でないけど誤るとすれば狡賢くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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