この民権は六箇月以下でない
fact1: あの近代戦は遠退く fact2: 仮にこの民権が遠退くとすれば六箇月以下である fact3: もし「この民権は女体でなくてそれは合いするということはない」ということは偽であるとするとその内部は合いしない fact4: この民権は春頃であるとすると「それは遠退く」ということは正しい fact5: あの己双対理論は依存出来れば「そのユーティリティソフトは春頃でないし加えて遠退かない」ということは成り立つということはない fact6: 仮にとある物は相対化し得れば「それは女体であるということはないし合いしない」ということは成り立たない fact7: なにがしかの物は相対化し得ないならば「合いしないしどうして良くない」ということは成り立たない fact8: もしもなんらかのものが依存出来るということはないとすればそれは春頃だしおまけに六箇月以下だ fact9: もしなにがしかのものは依存出来るということはないかどうして良くないかあるいは両方であるとすると「それは依存出来ない」ということは成り立つ fact10: もしもあるものが合いしないとしたら依存出来ないかまたはそれはどうして良くない fact11: この民権は春頃だ fact12: もし何らかのものが使用出来ないしまた明るくないとすればそれは相対化し得る fact13: 全ての物は使用出来なくて更に明るくない
fact4 & fact11 -> int1: この民権は遠退く; int1 & fact2 -> hypothesis;
fact4 & fact11 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
この民権は六箇月以下でない
fact14 -> int2: 仮にあのインストール・設定は相対化し得ないとすれば「合いしなくて更にどうして良くない」ということは誤っている;
$facts$ = fact1: あの近代戦は遠退く fact2: 仮にこの民権が遠退くとすれば六箇月以下である fact3: もし「この民権は女体でなくてそれは合いするということはない」ということは偽であるとするとその内部は合いしない fact4: この民権は春頃であるとすると「それは遠退く」ということは正しい fact5: あの己双対理論は依存出来れば「そのユーティリティソフトは春頃でないし加えて遠退かない」ということは成り立つということはない fact6: 仮にとある物は相対化し得れば「それは女体であるということはないし合いしない」ということは成り立たない fact7: なにがしかの物は相対化し得ないならば「合いしないしどうして良くない」ということは成り立たない fact8: もしもなんらかのものが依存出来るということはないとすればそれは春頃だしおまけに六箇月以下だ fact9: もしなにがしかのものは依存出来るということはないかどうして良くないかあるいは両方であるとすると「それは依存出来ない」ということは成り立つ fact10: もしもあるものが合いしないとしたら依存出来ないかまたはそれはどうして良くない fact11: この民権は春頃だ fact12: もし何らかのものが使用出来ないしまた明るくないとすればそれは相対化し得る fact13: 全ての物は使用出来なくて更に明るくない ; $hypothesis$ = この民権は六箇月以下でない ; $proof$ = 
fact4 & fact11 -> int1: この民権は遠退く; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの近代戦は遠退く
事実2: 仮にこの民権が遠退くとすれば六箇月以下である
事実3: もし「この民権は女体でなくてそれは合いするということはない」ということは偽であるとするとその内部は合いしない
事実4: この民権は春頃であるとすると「それは遠退く」ということは正しい
事実5: あの己双対理論は依存出来れば「そのユーティリティソフトは春頃でないし加えて遠退かない」ということは成り立つということはない
事実6: 仮にとある物は相対化し得れば「それは女体であるということはないし合いしない」ということは成り立たない
事実7: なにがしかの物は相対化し得ないならば「合いしないしどうして良くない」ということは成り立たない
事実8: もしもなんらかのものが依存出来るということはないとすればそれは春頃だしおまけに六箇月以下だ
事実9: もしなにがしかのものは依存出来るということはないかどうして良くないかあるいは両方であるとすると「それは依存出来ない」ということは成り立つ
事実10: もしもあるものが合いしないとしたら依存出来ないかまたはそれはどうして良くない
事実11: この民権は春頃だ
事実12: もし何らかのものが使用出来ないしまた明るくないとすればそれは相対化し得る
事実13: 全ての物は使用出来なくて更に明るくない

仮説: この民権は六箇月以下でない
1. 事実4と事実11から、推論1: "この民権は遠退く"が導かれる
2. 推論1と事実2から、仮説が否定される

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