「この芸術ゲームは代替出来るしまた掌側だ」ということは嘘だ
fact1: この芸術ゲームは掌側であるし更に当て付けがましい fact2: その生命科学は代替出来るし出城である fact3: この芸術ゲームは配付する fact4: もし仮にある物が代替出来るとすると当て付けがましい fact5: この芸術ゲームは代替出来るし加えて配付する fact6: 仮になにがしかのものが掌側でないならばそれは居座り続けるし加えてそれは配付する fact7: もしもなにがしかのものは配付しないとすれば「「それは代替出来るしまた掌側だ」ということは成り立つ」ということは誤りだ
fact5 -> int1: この芸術ゲームは代替出来る; fact1 -> int2: この芸術ゲームは掌側だ; int1 & int2 -> hypothesis;
その生命科学は当て付けがましいし居座り続ける
fact10 -> int3: その生命科学が代替出来るとしたらそれは当て付けがましい; fact9 -> int4: その生命科学は代替出来る; int3 & int4 -> int5: その生命科学は当て付けがましい; fact8 -> int6: 仮にその生命科学が掌側でないとすれば居座り続けるし配付する;
$facts$ = fact1: この芸術ゲームは掌側であるし更に当て付けがましい fact2: その生命科学は代替出来るし出城である fact3: この芸術ゲームは配付する fact4: もし仮にある物が代替出来るとすると当て付けがましい fact5: この芸術ゲームは代替出来るし加えて配付する fact6: 仮になにがしかのものが掌側でないならばそれは居座り続けるし加えてそれは配付する fact7: もしもなにがしかのものは配付しないとすれば「「それは代替出来るしまた掌側だ」ということは成り立つ」ということは誤りだ ; $hypothesis$ = 「この芸術ゲームは代替出来るしまた掌側だ」ということは嘘だ ; $proof$ = 
fact5 -> int1: この芸術ゲームは代替出来る; fact1 -> int2: この芸術ゲームは掌側だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この芸術ゲームは掌側であるし更に当て付けがましい
事実2: その生命科学は代替出来るし出城である
事実3: この芸術ゲームは配付する
事実4: もし仮にある物が代替出来るとすると当て付けがましい
事実5: この芸術ゲームは代替出来るし加えて配付する
事実6: 仮になにがしかのものが掌側でないならばそれは居座り続けるし加えてそれは配付する
事実7: もしもなにがしかのものは配付しないとすれば「「それは代替出来るしまた掌側だ」ということは成り立つ」ということは誤りだ

仮説: 「この芸術ゲームは代替出来るしまた掌側だ」ということは嘘だ
1. 事実5から、推論1: "この芸術ゲームは代替出来る"が導かれる
2. 事実1から、推論2: "この芸術ゲームは掌側だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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