この二文はせこいということはないが違い過ぎる
fact1: 仮にこの二文は介在しないなら「そのスハルト時代は違い過ぎないかもしくはそれはせこくないかまたは両方だ」ということは偽だ fact2: そのカンマ区切りは六全協でないかあるいは鞣さない fact3: そのバイナリデータは犬神人だとすると「この有痛性は外面でなくて飛鳥時代でない」ということは成り立たない fact4: もし仮に「そのカンマ区切りは適応能力でないか近頃であるかあるいは両方だ」ということは事実でないとしたらあの様式Ｎは近頃であるということはない fact5: そのスハルト時代は近頃でないならばこの二文はせこくない一方でそれは違い過ぎる fact6: そのカンマ区切りは六全協でないかあるいは鞣さないかあるいはどちらもならそれはバウンドしない fact7: もし仮にそのカンマ区切りはバウンドしないならば「そのスハルト時代は適応能力であるかまたはバウンドする」ということは成り立たない fact8: 「とある物は違い過ぎるということはないかそれはせこくない」ということは誤りであるとしたらバウンドする fact9: 「何かは適応能力であるかまたはそれはバウンドする」ということは成り立たないなら「近頃でない」ということは成り立つ fact10: もし仮にそのスハルト時代はバウンドするなら「そのカンマ区切りは適応能力でないかもしくは近頃であるかもしくはどちらもである」ということは嘘である fact11: 仮に「なにがしかのものは平民社でないけど過ごし易い」ということは成り立たないとするとそれは犬神人だ fact12: もし仮に「「この有痛性は外面であるということはなくてそれに飛鳥時代でない」ということは確かである」ということは成り立たないならばこの二文は介在するということはない
fact6 & fact2 -> int1: そのカンマ区切りはバウンドするということはない; int1 & fact7 -> int2: 「そのスハルト時代は適応能力であるかもしくはバウンドする」ということは誤りだ; fact9 -> int3: もしも「「そのスハルト時代は適応能力であるかバウンドするかあるいはどちらもだ」ということは成り立つ」ということは嘘であるとすると「それは近頃でない」ということは確かである; int2 & int3 -> int4: そのスハルト時代は近頃でない; int4 & fact5 -> hypothesis;
あの様式Ｎは近頃でない
fact15 -> int5: もし「そのスハルト時代は違い過ぎるということはないかまたはせこくないかあるいは両方ともである」ということは成り立たないなら「それはバウンドする」ということは事実である; fact17 -> int6: もし仮に「そのバイナリデータは平民社でないがしかし過ごし易い」ということは間違いだとすれば犬神人である;
$facts$ = fact1: 仮にこの二文は介在しないなら「そのスハルト時代は違い過ぎないかもしくはそれはせこくないかまたは両方だ」ということは偽だ fact2: そのカンマ区切りは六全協でないかあるいは鞣さない fact3: そのバイナリデータは犬神人だとすると「この有痛性は外面でなくて飛鳥時代でない」ということは成り立たない fact4: もし仮に「そのカンマ区切りは適応能力でないか近頃であるかあるいは両方だ」ということは事実でないとしたらあの様式Ｎは近頃であるということはない fact5: そのスハルト時代は近頃でないならばこの二文はせこくない一方でそれは違い過ぎる fact6: そのカンマ区切りは六全協でないかあるいは鞣さないかあるいはどちらもならそれはバウンドしない fact7: もし仮にそのカンマ区切りはバウンドしないならば「そのスハルト時代は適応能力であるかまたはバウンドする」ということは成り立たない fact8: 「とある物は違い過ぎるということはないかそれはせこくない」ということは誤りであるとしたらバウンドする fact9: 「何かは適応能力であるかまたはそれはバウンドする」ということは成り立たないなら「近頃でない」ということは成り立つ fact10: もし仮にそのスハルト時代はバウンドするなら「そのカンマ区切りは適応能力でないかもしくは近頃であるかもしくはどちらもである」ということは嘘である fact11: 仮に「なにがしかのものは平民社でないけど過ごし易い」ということは成り立たないとするとそれは犬神人だ fact12: もし仮に「「この有痛性は外面であるということはなくてそれに飛鳥時代でない」ということは確かである」ということは成り立たないならばこの二文は介在するということはない ; $hypothesis$ = この二文はせこいということはないが違い過ぎる ; $proof$ = 
fact6 & fact2 -> int1: そのカンマ区切りはバウンドするということはない; int1 & fact7 -> int2: 「そのスハルト時代は適応能力であるかもしくはバウンドする」ということは誤りだ; fact9 -> int3: もしも「「そのスハルト時代は適応能力であるかバウンドするかあるいはどちらもだ」ということは成り立つ」ということは嘘であるとすると「それは近頃でない」ということは確かである; int2 & int3 -> int4: そのスハルト時代は近頃でない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 仮にこの二文は介在しないなら「そのスハルト時代は違い過ぎないかもしくはそれはせこくないかまたは両方だ」ということは偽だ
事実2: そのカンマ区切りは六全協でないかあるいは鞣さない
事実3: そのバイナリデータは犬神人だとすると「この有痛性は外面でなくて飛鳥時代でない」ということは成り立たない
事実4: もし仮に「そのカンマ区切りは適応能力でないか近頃であるかあるいは両方だ」ということは事実でないとしたらあの様式Ｎは近頃であるということはない
事実5: そのスハルト時代は近頃でないならばこの二文はせこくない一方でそれは違い過ぎる
事実6: そのカンマ区切りは六全協でないかあるいは鞣さないかあるいはどちらもならそれはバウンドしない
事実7: もし仮にそのカンマ区切りはバウンドしないならば「そのスハルト時代は適応能力であるかまたはバウンドする」ということは成り立たない
事実8: 「とある物は違い過ぎるということはないかそれはせこくない」ということは誤りであるとしたらバウンドする
事実9: 「何かは適応能力であるかまたはそれはバウンドする」ということは成り立たないなら「近頃でない」ということは成り立つ
事実10: もし仮にそのスハルト時代はバウンドするなら「そのカンマ区切りは適応能力でないかもしくは近頃であるかもしくはどちらもである」ということは嘘である
事実11: 仮に「なにがしかのものは平民社でないけど過ごし易い」ということは成り立たないとするとそれは犬神人だ
事実12: もし仮に「「この有痛性は外面であるということはなくてそれに飛鳥時代でない」ということは確かである」ということは成り立たないならばこの二文は介在するということはない

仮説: この二文はせこいということはないが違い過ぎる
1. 事実6と事実2から、推論1: "そのカンマ区切りはバウンドするということはない"が導かれる
2. 推論1と事実7から、推論2: "「そのスハルト時代は適応能力であるかもしくはバウンドする」ということは誤りだ"が導かれる
3. 事実9から、推論3: "もしも「「そのスハルト時代は適応能力であるかバウンドするかあるいはどちらもだ」ということは成り立つ」ということは嘘であるとすると「それは近頃でない」ということは確かである"が導かれる
4. 推論2と推論3から、推論4: "そのスハルト時代は近頃でない"が導かれる
5. 推論4と事実5から、仮説が導かれる

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