この電子多対多メディアは各階級でない
fact1: そのディスプレイは踏み入る fact2: このトーンジャンプはポケットでない fact3: もしもこのトーンジャンプが損免ならばこの電子多対多メディアは各階級である fact4: 「なにかは損免だ一方で貢献しない」ということは事実と異なるとすれば損免だということはない fact5: この電子多対多メディアは共時態でない fact6: 仮にとある物が共時態でないけど踏み入るとすれば損免である fact7: そのディスプレイは心安くないけど足留めする fact8: もし仮にこの電子多対多メディアが踏み入らないけどそれは各階級であるとすればそれは共時態だ fact9: このトーンジャンプは踏み入る fact10: もし仮にこのトーンジャンプが各階級であるとすればその御払いは各階級だ fact11: このトーンジャンプは共時態でない fact12: この電子多対多メディアは現状維持だ
fact11 & fact9 -> int1: このトーンジャンプは共時態だということはないがしかし踏み入る; fact6 -> int2: もし仮にこのトーンジャンプは共時態でないがしかし踏み入るとすれば損免である; int1 & int2 -> int3: このトーンジャンプは損免だ; int3 & fact3 -> hypothesis;
「その御払いは各階級だ」ということは誤りでない
$facts$ = fact1: そのディスプレイは踏み入る fact2: このトーンジャンプはポケットでない fact3: もしもこのトーンジャンプが損免ならばこの電子多対多メディアは各階級である fact4: 「なにかは損免だ一方で貢献しない」ということは事実と異なるとすれば損免だということはない fact5: この電子多対多メディアは共時態でない fact6: 仮にとある物が共時態でないけど踏み入るとすれば損免である fact7: そのディスプレイは心安くないけど足留めする fact8: もし仮にこの電子多対多メディアが踏み入らないけどそれは各階級であるとすればそれは共時態だ fact9: このトーンジャンプは踏み入る fact10: もし仮にこのトーンジャンプが各階級であるとすればその御払いは各階級だ fact11: このトーンジャンプは共時態でない fact12: この電子多対多メディアは現状維持だ ; $hypothesis$ = この電子多対多メディアは各階級でない ; $proof$ = 
fact11 & fact9 -> int1: このトーンジャンプは共時態だということはないがしかし踏み入る; fact6 -> int2: もし仮にこのトーンジャンプは共時態でないがしかし踏み入るとすれば損免である; int1 & int2 -> int3: このトーンジャンプは損免だ; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: そのディスプレイは踏み入る
事実2: このトーンジャンプはポケットでない
事実3: もしもこのトーンジャンプが損免ならばこの電子多対多メディアは各階級である
事実4: 「なにかは損免だ一方で貢献しない」ということは事実と異なるとすれば損免だということはない
事実5: この電子多対多メディアは共時態でない
事実6: 仮にとある物が共時態でないけど踏み入るとすれば損免である
事実7: そのディスプレイは心安くないけど足留めする
事実8: もし仮にこの電子多対多メディアが踏み入らないけどそれは各階級であるとすればそれは共時態だ
事実9: このトーンジャンプは踏み入る
事実10: もし仮にこのトーンジャンプが各階級であるとすればその御払いは各階級だ
事実11: このトーンジャンプは共時態でない
事実12: この電子多対多メディアは現状維持だ

仮説: この電子多対多メディアは各階級でない
1. 事実11と事実9から、推論1: "このトーンジャンプは共時態だということはないがしかし踏み入る"が導かれる
2. 事実6から、推論2: "もし仮にこのトーンジャンプは共時態でないがしかし踏み入るとすれば損免である"が導かれる
3. 推論1と推論2から、推論3: "このトーンジャンプは損免だ"が導かれる
4. 推論3と事実3から、仮説が否定される

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