「仮にその各局は繋がり易いならば「この著書多数は険悪でないしさらに五秒キープでない」ということは成り立たない」ということは成り立たない
fact1: 「この著書多数は階級章でないししかもそれは険悪でない」ということは間違っている fact2: もしその各局は繋がり易いとすると「この著書多数は険悪であるけど五秒キープであるということはない」ということは間違っている fact3: 「素っ気なくない」物はある fact4: もしもこの決議は所狭しとしたら「その各局は五秒キープでなくてそれは繋がり易くない」ということは成り立たない fact5: もしもこの決議が繋がり易くないならその各局は知識構築であるしその上それは階級章である fact6: もしも何かは階級章でないならば「「実現し易くないし五秒キープでない」ということは確かである」ということは誤りである fact7: もし仮に「所狭くない」物はあれば「この著書多数は険悪である一方で五秒キープでない」ということは事実と異なる fact8: もし仮に何かは所狭くないとすればこの著書多数は険悪でないし加えて五秒キープでない fact9: 「この著書多数は険悪であるということはないけど五秒キープだ」ということは誤りだ fact10: 仮にその各局は繋がり易いなら「この著書多数は険悪でない一方で五秒キープだ」ということは成り立たない fact11: もし仮に何かは所狭くないとすると「この著書多数は険悪でないけれど五秒キープである」ということは間違っている fact12: 「繋がり易い」物はある fact13: 何かは階級章である fact14: 仮に階級章が繋がり易いならばあの決議は所狭くない fact15: 「この著書多数は険悪だけれど五秒キープでない」ということは成り立たない fact16: この著書多数は険悪でなくてそれにそれは五秒キープでない fact17: 仮に「所狭くない」物はあるとしたら「この著書多数は険悪でないしその上五秒キープでない」ということは成り立たない fact18: 仮にその仕入れ単価が険悪でなくて繋がり易くないとすると「この決議は繋がり易いということはない」ということは成り立つ fact19: もしもその各局が繋がり易いとするとこの著書多数は険悪でなくて五秒キープでない fact20: 「「所狭し」ということは成り立つ」ものはある fact21: その各局は階級章だ
void -> assump1: 以下のように仮定する。その各局は繋がり易い; fact21 & assump1 -> int1: その各局は階級章であるしそれは繋がり易い; int1 -> int2: 「階級章でおまけに繋がり易い」ものはある; int2 & fact14 -> int3: この決議は所狭くない; int3 -> int4: 「所狭くない」ものはある; int4 & fact17 -> int5: 「「この著書多数は険悪であるということはないしおまけにそれは五秒キープでない」ということは成り立たない」ということは成り立つ; [assump1] & int5 -> hypothesis;
「この著書多数は実現し易くないしかつ五秒キープでない」ということは偽だ
fact22 -> int6: もしもその各局は階級章であるということはないなら「それは実現し易くないし更に五秒キープでない」ということは偽だ;
$facts$ = fact1: 「この著書多数は階級章でないししかもそれは険悪でない」ということは間違っている fact2: もしその各局は繋がり易いとすると「この著書多数は険悪であるけど五秒キープであるということはない」ということは間違っている fact3: 「素っ気なくない」物はある fact4: もしもこの決議は所狭しとしたら「その各局は五秒キープでなくてそれは繋がり易くない」ということは成り立たない fact5: もしもこの決議が繋がり易くないならその各局は知識構築であるしその上それは階級章である fact6: もしも何かは階級章でないならば「「実現し易くないし五秒キープでない」ということは確かである」ということは誤りである fact7: もし仮に「所狭くない」物はあれば「この著書多数は険悪である一方で五秒キープでない」ということは事実と異なる fact8: もし仮に何かは所狭くないとすればこの著書多数は険悪でないし加えて五秒キープでない fact9: 「この著書多数は険悪であるということはないけど五秒キープだ」ということは誤りだ fact10: 仮にその各局は繋がり易いなら「この著書多数は険悪でない一方で五秒キープだ」ということは成り立たない fact11: もし仮に何かは所狭くないとすると「この著書多数は険悪でないけれど五秒キープである」ということは間違っている fact12: 「繋がり易い」物はある fact13: 何かは階級章である fact14: 仮に階級章が繋がり易いならばあの決議は所狭くない fact15: 「この著書多数は険悪だけれど五秒キープでない」ということは成り立たない fact16: この著書多数は険悪でなくてそれにそれは五秒キープでない fact17: 仮に「所狭くない」物はあるとしたら「この著書多数は険悪でないしその上五秒キープでない」ということは成り立たない fact18: 仮にその仕入れ単価が険悪でなくて繋がり易くないとすると「この決議は繋がり易いということはない」ということは成り立つ fact19: もしもその各局が繋がり易いとするとこの著書多数は険悪でなくて五秒キープでない fact20: 「「所狭し」ということは成り立つ」ものはある fact21: その各局は階級章だ ; $hypothesis$ = 「仮にその各局は繋がり易いならば「この著書多数は険悪でないしさらに五秒キープでない」ということは成り立たない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その各局は繋がり易い; fact21 & assump1 -> int1: その各局は階級章であるしそれは繋がり易い; int1 -> int2: 「階級章でおまけに繋がり易い」ものはある; int2 & fact14 -> int3: この決議は所狭くない; int3 -> int4: 「所狭くない」ものはある; int4 & fact17 -> int5: 「「この著書多数は険悪であるということはないしおまけにそれは五秒キープでない」ということは成り立たない」ということは成り立つ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 「この著書多数は階級章でないししかもそれは険悪でない」ということは間違っている
事実2: もしその各局は繋がり易いとすると「この著書多数は険悪であるけど五秒キープであるということはない」ということは間違っている
事実3: 「素っ気なくない」物はある
事実4: もしもこの決議は所狭しとしたら「その各局は五秒キープでなくてそれは繋がり易くない」ということは成り立たない
事実5: もしもこの決議が繋がり易くないならその各局は知識構築であるしその上それは階級章である
事実6: もしも何かは階級章でないならば「「実現し易くないし五秒キープでない」ということは確かである」ということは誤りである
事実7: もし仮に「所狭くない」物はあれば「この著書多数は険悪である一方で五秒キープでない」ということは事実と異なる
事実8: もし仮に何かは所狭くないとすればこの著書多数は険悪でないし加えて五秒キープでない
事実9: 「この著書多数は険悪であるということはないけど五秒キープだ」ということは誤りだ
事実10: 仮にその各局は繋がり易いなら「この著書多数は険悪でない一方で五秒キープだ」ということは成り立たない
事実11: もし仮に何かは所狭くないとすると「この著書多数は険悪でないけれど五秒キープである」ということは間違っている
事実12: 「繋がり易い」物はある
事実13: 何かは階級章である
事実14: 仮に階級章が繋がり易いならばあの決議は所狭くない
事実15: 「この著書多数は険悪だけれど五秒キープでない」ということは成り立たない
事実16: この著書多数は険悪でなくてそれにそれは五秒キープでない
事実17: 仮に「所狭くない」物はあるとしたら「この著書多数は険悪でないしその上五秒キープでない」ということは成り立たない
事実18: 仮にその仕入れ単価が険悪でなくて繋がり易くないとすると「この決議は繋がり易いということはない」ということは成り立つ
事実19: もしもその各局が繋がり易いとするとこの著書多数は険悪でなくて五秒キープでない
事実20: 「「所狭し」ということは成り立つ」ものはある
事実21: その各局は階級章だ

仮説: 「仮にその各局は繋がり易いならば「この著書多数は険悪でないしさらに五秒キープでない」ということは成り立たない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その各局は繋がり易い
2. 事実21と仮定1から、推論1: "その各局は階級章であるしそれは繋がり易い"が導かれる
3. 推論1から、推論2: "「階級章でおまけに繋がり易い」ものはある"が導かれる
4. 推論2と事実14から、推論3: "この決議は所狭くない"が導かれる
5. 推論3から、推論4: "「所狭くない」ものはある"が導かれる
6. 推論4と事実17から、推論5: "「「この著書多数は険悪であるということはないしおまけにそれは五秒キープでない」ということは成り立たない」ということは成り立つ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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