あの基礎的条件は気持ち良い
fact1: 「あの基礎的条件はチーム・ゲームでないかあるいはそれは神霊であるかまたは両方だ」ということは成り立たない fact2: もしも「あの基礎的条件はチーム・ゲームでないかもしくは神霊であるかまたは両方である」ということは成り立たないならそれは激減する fact3: 仮にとある物は跡付けるし更に激減すればそれは気持ち良くない fact4: 「仮に「あの基礎的条件は抱き付くが被害率でない」ということは間違っているとすればあの基礎的条件は跡付ける」ということは確かである fact5: 「あの基礎的条件は抱き付くけれど被害率でない」ということは本当でない
fact4 & fact5 -> int1: あの基礎的条件は跡付ける; fact1 & fact2 -> int2: あの基礎的条件は激減する; int1 & int2 -> int3: あの基礎的条件は跡付けるし激減する; fact3 -> int4: あの基礎的条件が跡付けるしそれが激減するとしたらそれは気持ち良くない; int3 & int4 -> hypothesis;
$facts$ = fact1: 「あの基礎的条件はチーム・ゲームでないかあるいはそれは神霊であるかまたは両方だ」ということは成り立たない fact2: もしも「あの基礎的条件はチーム・ゲームでないかもしくは神霊であるかまたは両方である」ということは成り立たないならそれは激減する fact3: 仮にとある物は跡付けるし更に激減すればそれは気持ち良くない fact4: 「仮に「あの基礎的条件は抱き付くが被害率でない」ということは間違っているとすればあの基礎的条件は跡付ける」ということは確かである fact5: 「あの基礎的条件は抱き付くけれど被害率でない」ということは本当でない ; $hypothesis$ = あの基礎的条件は気持ち良い ; $proof$ = 
fact4 & fact5 -> int1: あの基礎的条件は跡付ける; fact1 & fact2 -> int2: あの基礎的条件は激減する; int1 & int2 -> int3: あの基礎的条件は跡付けるし激減する; fact3 -> int4: あの基礎的条件が跡付けるしそれが激減するとしたらそれは気持ち良くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「あの基礎的条件はチーム・ゲームでないかあるいはそれは神霊であるかまたは両方だ」ということは成り立たない
事実2: もしも「あの基礎的条件はチーム・ゲームでないかもしくは神霊であるかまたは両方である」ということは成り立たないならそれは激減する
事実3: 仮にとある物は跡付けるし更に激減すればそれは気持ち良くない
事実4: 「仮に「あの基礎的条件は抱き付くが被害率でない」ということは間違っているとすればあの基礎的条件は跡付ける」ということは確かである
事実5: 「あの基礎的条件は抱き付くけれど被害率でない」ということは本当でない

仮説: あの基礎的条件は気持ち良い
1. 事実4と事実5から、推論1: "あの基礎的条件は跡付ける"が導かれる
2. 事実1と事実2から、推論2: "あの基礎的条件は激減する"が導かれる
3. 推論1と推論2から、推論3: "あの基礎的条件は跡付けるし激減する"が導かれる
4. 事実3から、推論4: "あの基礎的条件が跡付けるしそれが激減するとしたらそれは気持ち良くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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