その余命は乗る
fact1: この女権社会は曾爺である fact2: 「「小汚い一方で乗らない」ということは誤りな」ものがあるとすればその余命は敵戦列でない fact3: もし曾爺は敵戦列であるならばそれは小汚くない fact4: 「「冗談っぽい一方でねちっこくない」ということは成り立たない」ものはある fact5: もし仮に何かはミスするけれど防げないとしたら敵戦列だ fact6: とある物は乗るけれど小汚くない fact7: もし「「冗談っぽいしねちっこくない」ということは成り立たない」ものはあるとすると「この女権社会は安いということはない」ということは成り立つ fact8: もし「「この超人は敵戦列であるかもしくは小汚いかあるいは両方ともである」ということは偽だ」ということは成り立てばその余命は乗らない fact9: もしも「この女権社会は敵戦列であるかそれは小汚い」ということは偽だとすれば「この超人は安くない」ということは成り立つ fact10: もし「何らかのものは小汚いということはないけど敵戦列だ」ということは成り立たないならそれは安い fact11: もし仮にこの女権社会は安くないとすれば「この超人は敵戦列であるかもしくは小汚い」ということは成り立たない
fact4 & fact7 -> int1: この女権社会は安くない; int1 & fact11 -> int2: 「この超人は敵戦列であるかもしくは小汚いかまたは両方ともだ」ということは成り立つということはない; int2 & fact8 -> hypothesis;
その余命は乗る
fact14 -> int3: もし仮にこの女権社会は曾爺であるし加えて敵戦列であるとすればそれは小汚くない; fact12 -> int4: もしこの女権社会がミスする一方で防げないとしたらそれは敵戦列だ;
$facts$ = fact1: この女権社会は曾爺である fact2: 「「小汚い一方で乗らない」ということは誤りな」ものがあるとすればその余命は敵戦列でない fact3: もし曾爺は敵戦列であるならばそれは小汚くない fact4: 「「冗談っぽい一方でねちっこくない」ということは成り立たない」ものはある fact5: もし仮に何かはミスするけれど防げないとしたら敵戦列だ fact6: とある物は乗るけれど小汚くない fact7: もし「「冗談っぽいしねちっこくない」ということは成り立たない」ものはあるとすると「この女権社会は安いということはない」ということは成り立つ fact8: もし「「この超人は敵戦列であるかもしくは小汚いかあるいは両方ともである」ということは偽だ」ということは成り立てばその余命は乗らない fact9: もしも「この女権社会は敵戦列であるかそれは小汚い」ということは偽だとすれば「この超人は安くない」ということは成り立つ fact10: もし「何らかのものは小汚いということはないけど敵戦列だ」ということは成り立たないならそれは安い fact11: もし仮にこの女権社会は安くないとすれば「この超人は敵戦列であるかもしくは小汚い」ということは成り立たない ; $hypothesis$ = その余命は乗る ; $proof$ = 
fact4 & fact7 -> int1: この女権社会は安くない; int1 & fact11 -> int2: 「この超人は敵戦列であるかもしくは小汚いかまたは両方ともだ」ということは成り立つということはない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: この女権社会は曾爺である
事実2: 「「小汚い一方で乗らない」ということは誤りな」ものがあるとすればその余命は敵戦列でない
事実3: もし曾爺は敵戦列であるならばそれは小汚くない
事実4: 「「冗談っぽい一方でねちっこくない」ということは成り立たない」ものはある
事実5: もし仮に何かはミスするけれど防げないとしたら敵戦列だ
事実6: とある物は乗るけれど小汚くない
事実7: もし「「冗談っぽいしねちっこくない」ということは成り立たない」ものはあるとすると「この女権社会は安いということはない」ということは成り立つ
事実8: もし「「この超人は敵戦列であるかもしくは小汚いかあるいは両方ともである」ということは偽だ」ということは成り立てばその余命は乗らない
事実9: もしも「この女権社会は敵戦列であるかそれは小汚い」ということは偽だとすれば「この超人は安くない」ということは成り立つ
事実10: もし「何らかのものは小汚いということはないけど敵戦列だ」ということは成り立たないならそれは安い
事実11: もし仮にこの女権社会は安くないとすれば「この超人は敵戦列であるかもしくは小汚い」ということは成り立たない

仮説: その余命は乗る
1. 事実4と事実7から、推論1: "この女権社会は安くない"が導かれる
2. 推論1と事実11から、推論2: "「この超人は敵戦列であるかもしくは小汚いかまたは両方ともだ」ということは成り立つということはない"が導かれる
3. 推論2と事実8から、仮説が否定される

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