この時間切れは設備等であるということはない
fact1: もしもなにがしかのものが三区分するならそれは女体でないし更に吟ぜない fact2: もしも「なにがしかの物は得易いかそれは得難しかもしくは両方だ」ということは間違っているとしたらそれは煮え繰り返らない fact3: すべては女体でない fact4: もしも「なにがしかの物は御引き取り下さるかそれは間違うかもしくは両方ともだ」ということは成り立たないならば「設備等でない」ということは本当である fact5: この国本培養は大祭だということはないとしたら「三区分するしかつそれはきったない」ということは確かだ fact6: 「この時間切れは中国製造業であるかもしくは親しみ易い」ということは誤っていれば「助っ人でない」ということは真実だ fact7: もし仮に「なんらかの物は無線電信でない一方で設備等である」ということは間違っているならそれは設備等でない fact8: そのユーモアは無線電信でないとすれば「この時間切れは女体だが設備等でない」ということは成り立たない fact9: この時間切れは間違わない fact10: この国本培養は大祭だということはない fact11: とあるものは女体でないとすれば「それは御引き取り下さるかまたは間違う」ということは成り立たない fact12: もしもなにがしかのものは女体でないとしたら「それは間違わない」ということは事実だ fact13: もし仮にこの時間切れは女体でないとすると間違わない
fact11 -> int1: もし仮に「この時間切れは女体でない」ということは成り立つとすると「御引き取り下さるかあるいはそれは間違う」ということは誤りである; fact3 -> int2: この時間切れは女体だということはない; int1 & int2 -> int3: 「この時間切れは御引き取り下さるかまたは間違うか両方ともだ」ということは成り立たない; fact4 -> int4: 「この時間切れは御引き取り下さるか間違うかまたはどちらもである」ということは間違っているなら設備等でない; int3 & int4 -> hypothesis;
fact11 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v {AB}{aa}); fact3 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} v {AB}{aa}); fact4 -> int4: ¬({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
この国本培養は設備等でない
fact15 -> int5: もし「この国本培養は無線電信でないが設備等だ」ということは誤りならば「それは設備等でない」ということは真実だ; fact14 -> int6: 「この国本培養は三区分する」ということは成り立てばそれは女体でなくてまたそれは吟ぜない; fact16 & fact17 -> int7: この国本培養は三区分するしまたそれはきったない; int7 -> int8: この国本培養は三区分する; int6 & int8 -> int9: この国本培養は女体でなくてしかも吟ずるということはない; int9 -> int10: この国本培養は女体でない;
$facts$ = fact1: もしもなにがしかのものが三区分するならそれは女体でないし更に吟ぜない fact2: もしも「なにがしかの物は得易いかそれは得難しかもしくは両方だ」ということは間違っているとしたらそれは煮え繰り返らない fact3: すべては女体でない fact4: もしも「なにがしかの物は御引き取り下さるかそれは間違うかもしくは両方ともだ」ということは成り立たないならば「設備等でない」ということは本当である fact5: この国本培養は大祭だということはないとしたら「三区分するしかつそれはきったない」ということは確かだ fact6: 「この時間切れは中国製造業であるかもしくは親しみ易い」ということは誤っていれば「助っ人でない」ということは真実だ fact7: もし仮に「なんらかの物は無線電信でない一方で設備等である」ということは間違っているならそれは設備等でない fact8: そのユーモアは無線電信でないとすれば「この時間切れは女体だが設備等でない」ということは成り立たない fact9: この時間切れは間違わない fact10: この国本培養は大祭だということはない fact11: とあるものは女体でないとすれば「それは御引き取り下さるかまたは間違う」ということは成り立たない fact12: もしもなにがしかのものは女体でないとしたら「それは間違わない」ということは事実だ fact13: もし仮にこの時間切れは女体でないとすると間違わない ; $hypothesis$ = この時間切れは設備等であるということはない ; $proof$ = 
fact11 -> int1: もし仮に「この時間切れは女体でない」ということは成り立つとすると「御引き取り下さるかあるいはそれは間違う」ということは誤りである; fact3 -> int2: この時間切れは女体だということはない; int1 & int2 -> int3: 「この時間切れは御引き取り下さるかまたは間違うか両方ともだ」ということは成り立たない; fact4 -> int4: 「この時間切れは御引き取り下さるか間違うかまたはどちらもである」ということは間違っているなら設備等でない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが三区分するならそれは女体でないし更に吟ぜない
事実2: もしも「なにがしかの物は得易いかそれは得難しかもしくは両方だ」ということは間違っているとしたらそれは煮え繰り返らない
事実3: すべては女体でない
事実4: もしも「なにがしかの物は御引き取り下さるかそれは間違うかもしくは両方ともだ」ということは成り立たないならば「設備等でない」ということは本当である
事実5: この国本培養は大祭だということはないとしたら「三区分するしかつそれはきったない」ということは確かだ
事実6: 「この時間切れは中国製造業であるかもしくは親しみ易い」ということは誤っていれば「助っ人でない」ということは真実だ
事実7: もし仮に「なんらかの物は無線電信でない一方で設備等である」ということは間違っているならそれは設備等でない
事実8: そのユーモアは無線電信でないとすれば「この時間切れは女体だが設備等でない」ということは成り立たない
事実9: この時間切れは間違わない
事実10: この国本培養は大祭だということはない
事実11: とあるものは女体でないとすれば「それは御引き取り下さるかまたは間違う」ということは成り立たない
事実12: もしもなにがしかのものは女体でないとしたら「それは間違わない」ということは事実だ
事実13: もし仮にこの時間切れは女体でないとすると間違わない

仮説: この時間切れは設備等であるということはない
1. 事実11から、推論1: "もし仮に「この時間切れは女体でない」ということは成り立つとすると「御引き取り下さるかあるいはそれは間違う」ということは誤りである"が導かれる
2. 事実3から、推論2: "この時間切れは女体だということはない"が導かれる
3. 推論1と推論2から、推論3: "「この時間切れは御引き取り下さるかまたは間違うか両方ともだ」ということは成り立たない"が導かれる
4. 事実4から、推論4: "「この時間切れは御引き取り下さるか間違うかまたはどちらもである」ということは間違っているなら設備等でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。