この比島沖海戦は翻弄しないししかも信者であるということはない
fact1: そのリベラルは世知辛いしおまけにそれは引き出し易い fact2: その鼠算式が全額支給しないなら翻弄しない fact3: その鼠算式は竦み上がらないならば「そのリベラルは世知辛くないし引き出し易いということはない」ということは誤りだ fact4: そのリベラルは世知辛い fact5: この比島沖海戦は竦み上がらないならば「世知辛くておまけに引き出し易い」ということは誤りである fact6: 「その鼠算式は翻弄しない」ということは事実であるとすれば「この比島沖海戦は翻弄しなくて信者でない」ということは事実と異なる fact7: 「この比島沖海戦は翻弄しないけれど信者だ」ということは成り立たない fact8: この通信部門は全額支給する fact9: その鼠算式はコスプレだ fact10: もしもこの比島沖海戦は竦み上がらないとすると「「その鼠算式は竦み上がらないしそれは翻弄しない」ということは偽だ」ということは本当だ fact11: 「この比島沖海戦は竦み上がらないけど信者である」ということは成り立つということはない fact12: 世知辛いということはない物は翻弄するということはないし加えて信者でない fact13: 仮にそのリベラルは引き出し易いとすると「その鼠算式は竦み上がる」ということは本当である fact14: もし仮にそのリベラルが翻弄するとするとその鼠算式は引き出し易い fact15: 仮にその鼠算式は竦み上がるし全額支給するとしたら「コスプレでない」ということは本当である fact16: もしもなにがしかの物が全額支給するとするとそれは竦み上がらないかまたはそれは引き出し易いということはない fact17: もし仮にこの比島沖海戦が竦み上がるとすればその鼠算式は竦み上がらない fact18: もし仮にこの比島沖海戦がコスプレだとすればそれは全額支給する fact19: もし仮にその鼠算式は翻弄しないとすると「この比島沖海戦は翻弄しない一方でそれは信者である」ということは成り立たない
fact1 -> int1: そのリベラルは引き出し易い; int1 & fact13 -> int2: 「その鼠算式は竦み上がる」ということは事実である; void -> assump1: 以下のように仮定する。その鼠算式は全額支給する; int2 & assump1 -> int3: その鼠算式は竦み上がるしさらにそれは全額支給する; int3 & fact15 -> int4: その鼠算式はコスプレでない; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: その鼠算式は全額支給しない; int6 & fact2 -> int7: その鼠算式は翻弄しない; int7 & fact6 -> hypothesis;
この比島沖海戦は翻弄しないしさらに信者でない
fact20 -> int8: もしこの比島沖海戦が世知辛くないとするとそれは翻弄しなくてまた信者だということはない; fact22 -> int9: 仮にこの比島沖海戦が全額支給すれば竦み上がらないかもしくは引き出し易いということはないかどちらもだ;
$facts$ = fact1: そのリベラルは世知辛いしおまけにそれは引き出し易い fact2: その鼠算式が全額支給しないなら翻弄しない fact3: その鼠算式は竦み上がらないならば「そのリベラルは世知辛くないし引き出し易いということはない」ということは誤りだ fact4: そのリベラルは世知辛い fact5: この比島沖海戦は竦み上がらないならば「世知辛くておまけに引き出し易い」ということは誤りである fact6: 「その鼠算式は翻弄しない」ということは事実であるとすれば「この比島沖海戦は翻弄しなくて信者でない」ということは事実と異なる fact7: 「この比島沖海戦は翻弄しないけれど信者だ」ということは成り立たない fact8: この通信部門は全額支給する fact9: その鼠算式はコスプレだ fact10: もしもこの比島沖海戦は竦み上がらないとすると「「その鼠算式は竦み上がらないしそれは翻弄しない」ということは偽だ」ということは本当だ fact11: 「この比島沖海戦は竦み上がらないけど信者である」ということは成り立つということはない fact12: 世知辛いということはない物は翻弄するということはないし加えて信者でない fact13: 仮にそのリベラルは引き出し易いとすると「その鼠算式は竦み上がる」ということは本当である fact14: もし仮にそのリベラルが翻弄するとするとその鼠算式は引き出し易い fact15: 仮にその鼠算式は竦み上がるし全額支給するとしたら「コスプレでない」ということは本当である fact16: もしもなにがしかの物が全額支給するとするとそれは竦み上がらないかまたはそれは引き出し易いということはない fact17: もし仮にこの比島沖海戦が竦み上がるとすればその鼠算式は竦み上がらない fact18: もし仮にこの比島沖海戦がコスプレだとすればそれは全額支給する fact19: もし仮にその鼠算式は翻弄しないとすると「この比島沖海戦は翻弄しない一方でそれは信者である」ということは成り立たない ; $hypothesis$ = この比島沖海戦は翻弄しないししかも信者であるということはない ; $proof$ = 
fact1 -> int1: そのリベラルは引き出し易い; int1 & fact13 -> int2: 「その鼠算式は竦み上がる」ということは事実である; void -> assump1: 以下のように仮定する。その鼠算式は全額支給する; int2 & assump1 -> int3: その鼠算式は竦み上がるしさらにそれは全額支給する; int3 & fact15 -> int4: その鼠算式はコスプレでない; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: その鼠算式は全額支給しない; int6 & fact2 -> int7: その鼠算式は翻弄しない; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: そのリベラルは世知辛いしおまけにそれは引き出し易い
事実2: その鼠算式が全額支給しないなら翻弄しない
事実3: その鼠算式は竦み上がらないならば「そのリベラルは世知辛くないし引き出し易いということはない」ということは誤りだ
事実4: そのリベラルは世知辛い
事実5: この比島沖海戦は竦み上がらないならば「世知辛くておまけに引き出し易い」ということは誤りである
事実6: 「その鼠算式は翻弄しない」ということは事実であるとすれば「この比島沖海戦は翻弄しなくて信者でない」ということは事実と異なる
事実7: 「この比島沖海戦は翻弄しないけれど信者だ」ということは成り立たない
事実8: この通信部門は全額支給する
事実9: その鼠算式はコスプレだ
事実10: もしもこの比島沖海戦は竦み上がらないとすると「「その鼠算式は竦み上がらないしそれは翻弄しない」ということは偽だ」ということは本当だ
事実11: 「この比島沖海戦は竦み上がらないけど信者である」ということは成り立つということはない
事実12: 世知辛いということはない物は翻弄するということはないし加えて信者でない
事実13: 仮にそのリベラルは引き出し易いとすると「その鼠算式は竦み上がる」ということは本当である
事実14: もし仮にそのリベラルが翻弄するとするとその鼠算式は引き出し易い
事実15: 仮にその鼠算式は竦み上がるし全額支給するとしたら「コスプレでない」ということは本当である
事実16: もしもなにがしかの物が全額支給するとするとそれは竦み上がらないかまたはそれは引き出し易いということはない
事実17: もし仮にこの比島沖海戦が竦み上がるとすればその鼠算式は竦み上がらない
事実18: もし仮にこの比島沖海戦がコスプレだとすればそれは全額支給する
事実19: もし仮にその鼠算式は翻弄しないとすると「この比島沖海戦は翻弄しない一方でそれは信者である」ということは成り立たない

仮説: この比島沖海戦は翻弄しないししかも信者であるということはない
1. 事実1から、推論1: "そのリベラルは引き出し易い"が導かれる
2. 推論1と事実13から、推論2: "「その鼠算式は竦み上がる」ということは事実である"が導かれる
3. 仮定1: 以下のように仮定する。その鼠算式は全額支給する
4. 推論2と仮定1から、推論3: "その鼠算式は竦み上がるしさらにそれは全額支給する"が導かれる
5. 推論3と事実15から、推論4: "その鼠算式はコスプレでない"が導かれる
6. 推論4と事実9から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その鼠算式は全額支給しない"が導かれる
8. 推論6と事実2から、推論7: "その鼠算式は翻弄しない"が導かれる
9. 推論7と事実6から、仮説が否定される

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