「仮にその鉱工業品が与り知らないとするとその夕日はオプチカルでないし心置き無いということはない」ということは成り立つということはない
fact1: もしその天狗星は順応出来るとすれば「あの社会生活は慈悲でないけれど徒らっぽい」ということは確かだ fact2: その夕日は持ち難い fact3: 仮にあの年季が授乳婦でないとしたらその天狗星は順応出来るししかもかまける fact4: 仮に「その鉱工業品は持ち難くないし与り知るということはない」ということは嘘であるとするとそれはオプチカルだ fact5: もし仮になんらかの物はすげないなら「その夕日はすげなくなくて更にカテゴリー毎でない」ということは間違っている fact6: もしも何らかのものは慈悲でないがしかし徒らっぽいとすると「すげない」ということは事実だ fact7: もし「何らかのものはすげなくなくてそれにカテゴリー毎でない」ということは嘘であるとすると「すげなくない」ということは誤っている fact8: その夕日はオプチカルであるということはない fact9: もしも「なにがしかのものは与り知るけれど持ち難くない」ということは確かであるということはないとしたら「それは与り知らない」ということは成り立つ fact10: 「もし仮に「その夕日はオプチカルでなくてしかも心置き無くない」ということは間違いだとするとその夕日は広い」ということは確かである fact11: 「その夕日は与り知らないとすれば「その鉱工業品は気分でないしそれは広くない」ということは成り立たない」ということは成り立つ fact12: もし仮に「その夕日は広い」ということは本当であるとすれば「あの社会生活は持ち難い一方で広くない」ということは誤っている fact13: 「あの金融不安は崩壊し始めるし授乳婦である」ということは嘘である fact14: その夕日はオプチカルでなくて加えて与り知らない fact15: もしも「あの社会生活は持ち難いけれど広くない」ということは成り立たないならその鉱工業品は与り知る fact16: もしもその夕日はオプチカルであるとすれば「あの社会生活は持ち難いしオプチカルである」ということは正しいということはない fact17: その鉱工業品は与り知らないしその上広くないとしたら持ち難い fact18: 仮になんらかのものはすげないとしたら「与り知るしそれは持ち難くない」ということは間違っている fact19: 「あの社会生活は心置き無いしその上広い」ということは成り立たない fact20: もしも「あの金融不安は崩壊し始めるしおまけに授乳婦である」ということは間違いだとするとあの年季は授乳婦でない fact21: 「あの社会生活は広くなくてオプチカルでない」ということは事実と異なる
void -> assump2: 以下のように仮定する。「その夕日はオプチカルでないしその上心置き無くない」ということは間違いだ; fact10 & assump2 -> int1: その夕日は広い; int1 & fact12 -> int2: 「あの社会生活は持ち難いがしかし広いということはない」ということは間違っている; int2 & fact15 -> int3: その鉱工業品は与り知る; void -> assump1: 以下のように仮定する。その鉱工業品は与り知らない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その夕日はオプチカルでないしかつそれは心置き無くない」ということは偽であるということはない; [assump1] & int5 -> hypothesis;
「その鉱工業品は気分だということはないし広いということはない」ということは成り立たない
fact23 -> int6: 仮に「その夕日は与り知るけど持ち難いということはない」ということは事実でないとしたらそれは与り知らない; fact30 -> int7: もしその夕日はすげないならば「それは与り知るけれど持ち難くない」ということは成り立たない; fact22 -> int8: もし「その夕日はすげなくないしかつカテゴリー毎でない」ということは成り立たないなら「すげない」ということは正しい; fact25 -> int9: あの社会生活は慈悲でないが徒らっぽいとしたらすげない; fact28 & fact29 -> int10: あの年季は授乳婦でない; fact27 & int10 -> int11: その天狗星は順応出来るしおまけにかまける; int11 -> int12: その天狗星は順応出来る; fact31 & int12 -> int13: あの社会生活は慈悲でないがそれは徒らっぽい; int9 & int13 -> int14: あの社会生活はすげない; int14 -> int15: 「「すげない」ということは確かな」ものはある; int15 & fact26 -> int16: 「その夕日はすげなくなくてカテゴリー毎でない」ということは成り立たない; int8 & int16 -> int17: その夕日はすげない; int7 & int17 -> int18: 「その夕日は与り知る一方で持ち難くない」ということは嘘だ; int6 & int18 -> int19: 「その夕日は与り知らない」ということは真実だ; fact24 & int19 -> hypothesis;
$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 -> assump2: 以下のように仮定する。「その夕日はオプチカルでないしその上心置き無くない」ということは間違いだ; fact10 & assump2 -> int1: その夕日は広い; int1 & fact12 -> int2: 「あの社会生活は持ち難いがしかし広いということはない」ということは間違っている; int2 & fact15 -> int3: その鉱工業品は与り知る; void -> assump1: 以下のように仮定する。その鉱工業品は与り知らない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> 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. 仮定2: 以下のように仮定する。「その夕日はオプチカルでないしその上心置き無くない」ということは間違いだ
2. 事実10と仮定2から、推論1: "その夕日は広い"が導かれる
3. 推論1と事実12から、推論2: "「あの社会生活は持ち難いがしかし広いということはない」ということは間違っている"が導かれる
4. 推論2と事実15から、推論3: "その鉱工業品は与り知る"が導かれる
5. 仮定1: 以下のように仮定する。その鉱工業品は与り知らない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「その夕日はオプチカルでないしかつそれは心置き無くない」ということは偽であるということはない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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