あのうろ覚えは小憎らしくない
fact1: もしあのうろ覚えは小憎らしいとしたら「鉄扉であるしさらに再生しない」ということは成り立たない fact2: 「あのうろ覚えが鉄扉だしそれにそれは再生する」ということは成り立たない fact3: もし仮にその黙認は決め難いとしたら「その日本産業は思想書でないかまたは蔑むか両方である」ということは誤りである fact4: もしもその日本産業が蔑まないとすれば思想書でない fact5: もし何かは決め難くないとすればそれは蔑まないかあるいはそれは思想書だ fact6: もしもその日本産業がめでたしないかあるいはそれが蔑まないならそれは思想書でない fact7: 「何かはめでたしということはないがしかし小憎らしい」ということは嘘であるとしたら特別扱いしない fact8: もし仮に「何らかのものは全面協力するし更に決め難い」ということは誤りであるとしたらそれは決め難くない fact9: もし仮にあのうろ覚えは小憎らしいとしたら「それは鉄扉であるし再生する」ということは成り立たない fact10: もしあのうろ覚えが再生するならその日本産業はめでたしない fact11: その日本産業は思想書だ fact12: もし仮にその日本産業が思想書でないかそれは鉄扉でないかどちらもであるならばめでたしない fact13: あのうろ覚えは共有しない fact14: もし仮にその日本産業は再生するとすると「それはめでたしけれど小憎らしくない」ということは正しくない fact15: あのＯＩＥは蔑まない fact16: もしもその日本産業は蔑まないなら「あのうろ覚えはめでたしけれど小憎らしくない」ということは真実でない fact17: なにがしかの物は蔑まないなら「それはめでたしないしそれは小憎らしい」ということは間違っている fact18: 「仮に「何らかのものはめでたしがしかし小憎らしくない」ということは成り立つということはないならば小憎らしい」ということは本当である fact19: 仮に「その日本産業は思想書でないかもしくはそれは蔑む」ということは誤りだとすればあのうろ覚えは蔑まない fact20: その日本産業は再生しない fact21: 「その日本産業は再生するけれどそれはめでたしない」ということは成り立つということはないならばあのうろ覚えは思想書でない fact22: その日本産業はめでたしないかそれは蔑む fact23: もし仮にその料理番組が決め難いということはないがしかし全面協力するとするとその黙認は決め難い fact24: 仮に「あのうろ覚えは鉄扉であるがしかしそれは再生しない」ということは偽だとするとその日本産業はめでたしない
void -> assump1: 以下のように仮定する。あのうろ覚えは小憎らしい; fact1 & assump1 -> int1: 「あのうろ覚えは鉄扉であるがしかし再生しない」ということは成り立たない; int1 & fact24 -> int2: その日本産業はめでたしない; int2 -> int3: その日本産業はめでたしということはないかもしくはそれは蔑むということはないかまたは両方ともだ; int3 & fact6 -> int4: 「その日本産業は思想書でない」ということは成り立つ; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのうろ覚えは小憎らしい
fact26 -> int6: 「あのうろ覚えはめでたし一方で小憎らしくない」ということは成り立たないなら小憎らしい; fact27 -> int7: もしその日本産業が決め難くないとすると蔑まないかあるいは思想書だ; fact25 -> int8: もし「「その日本産業は全面協力するしさらにそれは決め難い」ということは誤っている」ということは真実ならば決め難くない;
$facts$ = fact1: もしあのうろ覚えは小憎らしいとしたら「鉄扉であるしさらに再生しない」ということは成り立たない fact2: 「あのうろ覚えが鉄扉だしそれにそれは再生する」ということは成り立たない fact3: もし仮にその黙認は決め難いとしたら「その日本産業は思想書でないかまたは蔑むか両方である」ということは誤りである fact4: もしもその日本産業が蔑まないとすれば思想書でない fact5: もし何かは決め難くないとすればそれは蔑まないかあるいはそれは思想書だ fact6: もしもその日本産業がめでたしないかあるいはそれが蔑まないならそれは思想書でない fact7: 「何かはめでたしということはないがしかし小憎らしい」ということは嘘であるとしたら特別扱いしない fact8: もし仮に「何らかのものは全面協力するし更に決め難い」ということは誤りであるとしたらそれは決め難くない fact9: もし仮にあのうろ覚えは小憎らしいとしたら「それは鉄扉であるし再生する」ということは成り立たない fact10: もしあのうろ覚えが再生するならその日本産業はめでたしない fact11: その日本産業は思想書だ fact12: もし仮にその日本産業が思想書でないかそれは鉄扉でないかどちらもであるならばめでたしない fact13: あのうろ覚えは共有しない fact14: もし仮にその日本産業は再生するとすると「それはめでたしけれど小憎らしくない」ということは正しくない fact15: あのＯＩＥは蔑まない fact16: もしもその日本産業は蔑まないなら「あのうろ覚えはめでたしけれど小憎らしくない」ということは真実でない fact17: なにがしかの物は蔑まないなら「それはめでたしないしそれは小憎らしい」ということは間違っている fact18: 「仮に「何らかのものはめでたしがしかし小憎らしくない」ということは成り立つということはないならば小憎らしい」ということは本当である fact19: 仮に「その日本産業は思想書でないかもしくはそれは蔑む」ということは誤りだとすればあのうろ覚えは蔑まない fact20: その日本産業は再生しない fact21: 「その日本産業は再生するけれどそれはめでたしない」ということは成り立つということはないならばあのうろ覚えは思想書でない fact22: その日本産業はめでたしないかそれは蔑む fact23: もし仮にその料理番組が決め難いということはないがしかし全面協力するとするとその黙認は決め難い fact24: 仮に「あのうろ覚えは鉄扉であるがしかしそれは再生しない」ということは偽だとするとその日本産業はめでたしない ; $hypothesis$ = あのうろ覚えは小憎らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのうろ覚えは小憎らしい; fact1 & assump1 -> int1: 「あのうろ覚えは鉄扉であるがしかし再生しない」ということは成り立たない; int1 & fact24 -> int2: その日本産業はめでたしない; int2 -> int3: その日本産業はめでたしということはないかもしくはそれは蔑むということはないかまたは両方ともだ; int3 & fact6 -> int4: 「その日本産業は思想書でない」ということは成り立つ; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしあのうろ覚えは小憎らしいとしたら「鉄扉であるしさらに再生しない」ということは成り立たない
事実2: 「あのうろ覚えが鉄扉だしそれにそれは再生する」ということは成り立たない
事実3: もし仮にその黙認は決め難いとしたら「その日本産業は思想書でないかまたは蔑むか両方である」ということは誤りである
事実4: もしもその日本産業が蔑まないとすれば思想書でない
事実5: もし何かは決め難くないとすればそれは蔑まないかあるいはそれは思想書だ
事実6: もしもその日本産業がめでたしないかあるいはそれが蔑まないならそれは思想書でない
事実7: 「何かはめでたしということはないがしかし小憎らしい」ということは嘘であるとしたら特別扱いしない
事実8: もし仮に「何らかのものは全面協力するし更に決め難い」ということは誤りであるとしたらそれは決め難くない
事実9: もし仮にあのうろ覚えは小憎らしいとしたら「それは鉄扉であるし再生する」ということは成り立たない
事実10: もしあのうろ覚えが再生するならその日本産業はめでたしない
事実11: その日本産業は思想書だ
事実12: もし仮にその日本産業が思想書でないかそれは鉄扉でないかどちらもであるならばめでたしない
事実13: あのうろ覚えは共有しない
事実14: もし仮にその日本産業は再生するとすると「それはめでたしけれど小憎らしくない」ということは正しくない
事実15: あのＯＩＥは蔑まない
事実16: もしもその日本産業は蔑まないなら「あのうろ覚えはめでたしけれど小憎らしくない」ということは真実でない
事実17: なにがしかの物は蔑まないなら「それはめでたしないしそれは小憎らしい」ということは間違っている
事実18: 「仮に「何らかのものはめでたしがしかし小憎らしくない」ということは成り立つということはないならば小憎らしい」ということは本当である
事実19: 仮に「その日本産業は思想書でないかもしくはそれは蔑む」ということは誤りだとすればあのうろ覚えは蔑まない
事実20: その日本産業は再生しない
事実21: 「その日本産業は再生するけれどそれはめでたしない」ということは成り立つということはないならばあのうろ覚えは思想書でない
事実22: その日本産業はめでたしないかそれは蔑む
事実23: もし仮にその料理番組が決め難いということはないがしかし全面協力するとするとその黙認は決め難い
事実24: 仮に「あのうろ覚えは鉄扉であるがしかしそれは再生しない」ということは偽だとするとその日本産業はめでたしない

仮説: あのうろ覚えは小憎らしくない
1. 仮定1: 以下のように仮定する。あのうろ覚えは小憎らしい
2. 事実1と仮定1から、推論1: "「あのうろ覚えは鉄扉であるがしかし再生しない」ということは成り立たない"が導かれる
3. 推論1と事実24から、推論2: "その日本産業はめでたしない"が導かれる
4. 推論2から、推論3: "その日本産業はめでたしということはないかもしくはそれは蔑むということはないかまたは両方ともだ"が導かれる
5. 推論3と事実6から、推論4: "「その日本産業は思想書でない」ということは成り立つ"が導かれる
6. 推論4と事実11から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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