「そのプロブレムＳは理屈っぽいけど利用し易くない」ということは成り立つということはない
fact1: 仮になにがしかのものは出迎えないとすると「それは煮付けないが歌い文句である」ということは誤りである fact2: もし仮にその標準予防策が歌い文句だとするとその入力記号列はミアズマだ fact3: 「その入力記号列はオン／オフしないけれど嫌悪だ」ということは誤りである fact4: 仮になにかは正規でないがしかしミアズマだとするとそれは弱々しかない fact5: 仮に「あの女大学新評論は死に掛ける」ということは本当であるならばあの二十六日条は脂っこい fact6: この献花は煮付けるということはない fact7: もし「ある物は弱々しかない」ということは成り立つとしたら「それはミアズマでなくてしかもそれは滑り始める」ということは確かでない fact8: あの二十六日条は厳いかあるいは出迎えるかまたはどちらもだ fact9: そのプロブレムＳは通所授産施設である fact10: 仮にこの献花が煮付ければその標準予防策は煮付ける fact11: 仮に「何かは煮付けないけどそれは歌い文句だ」ということは成り立たないとしたらそれは弱々しかない fact12: 仮にあの二十六日条が飲み過ぎるしその上反映され易いとしたらその第十八集は飲み過ぎない fact13: もし仮に寒いということはない物が脂っこいならば平行移動する fact14: もし仮になにがしかの物が正規でないとすれば理屈っぽいけど利用し易くない fact15: もしあの二十六日条が平行移動するとするとそれは飲み過ぎる fact16: あの二十六日条は反映され易い一方で漂流しない fact17: もし仮にその入力記号列はオン／オフするとすれば「滑り始めない」ということは本当である fact18: もし仮にあの二十六日条が厳いならばその第十八集は歌い文句である fact19: 「その入力記号列がオン／オフするしその上嫌悪だ」ということは間違っている fact20: 仮にその第十八集は飲み過ぎるということはないとすれば「その標準予防策は全通するけど切腹しない」ということは真実である fact21: 「その入力記号列は厳くないし加えて嫌悪であるということはない」ということは嘘であるとしたらそのプロブレムＳは出迎えない fact22: 「あの二十六日条は出迎える」ということは本当だとすればその第十八集は歌い文句だ fact23: あの二十六日条は寒いということはない fact24: もしもこの献花はオン／オフするということはないとすれば「その入力記号列は厳くないししかも嫌悪でない」ということは偽だ fact25: 仮にその入力記号列が弱々しかないとするとこの献花は煮付けない fact26: もし仮にこの献花は利用し易いなら「そのプロブレムＳは理屈っぽいけれどそれは利用し易いということはない」ということは成り立たない fact27: 「あの女大学新評論は死に掛ける」ということは成り立つ fact28: もしもその入力記号列は正規だとすると「それは滑り始める」ということは成り立つ fact29: もしもその入力記号列が弱々しかないとすればこの献花は煮付けるということはないがしかしそれは利用し易い fact30: もし仮にその第十八集が歌い文句だとするとその標準予防策は歌い文句である fact31: もしも「その入力記号列はオン／オフしないけれど嫌悪である」ということは間違っているとすればそれは滑り始めない
void -> assump1: 以下のように仮定する。その入力記号列は正規である; fact28 & assump1 -> int1: その入力記号列は滑り始める; fact3 & fact31 -> int2: その入力記号列は滑り始めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その入力記号列は正規でない; fact18 & fact8 & fact22 -> int5: その第十八集は歌い文句だ; fact30 & int5 -> int6: その標準予防策は歌い文句だ; int6 & fact2 -> int7: その入力記号列はミアズマだ; int4 & int7 -> int8: その入力記号列は正規でないけどそれはミアズマだ; fact4 -> int9: 仮にその入力記号列は正規でないけどミアズマであるとしたら弱々しかない; int8 & int9 -> int10: その入力記号列は弱々しかない; int10 & fact29 -> int11: この献花は煮付けないけれどそれは利用し易い; int11 -> int12: この献花は利用し易い; int12 & fact26 -> hypothesis;
そのプロブレムＳは理屈っぽいけど利用し易くない
fact39 -> int13: もしも「そのプロブレムＳは正規でない」ということは成り立つとしたら理屈っぽいしおまけにそれは利用し易いということはない; fact42 -> int14: もしもそのプロブレムＳは弱々しかないとすると「それはミアズマでないがしかし滑り始める」ということは間違いである; fact40 -> int15: 仮に「そのプロブレムＳは煮付けないがしかしそれは歌い文句である」ということは偽だとするとそれは弱々しいということはない; fact38 -> int16: もし仮にそのプロブレムＳは出迎えないとしたら「それは煮付けないが歌い文句だ」ということは成り立たない; fact33 -> int17: 「もしもあの二十六日条が寒くないけど脂っこいとすればあの二十六日条は平行移動する」ということは真実だ; fact37 & fact41 -> int18: あの二十六日条は脂っこい; fact35 & int18 -> int19: あの二十六日条は寒いということはないけどそれは脂っこい; int17 & int19 -> int20: あの二十六日条は平行移動する; fact34 & int20 -> int21: あの二十六日条は飲み過ぎる; fact43 -> int22: あの二十六日条は反映され易い; int21 & int22 -> int23: あの二十六日条は飲み過ぎるし反映され易い; fact32 & int23 -> int24: その第十八集は飲み過ぎない; fact44 & int24 -> int25: その標準予防策は全通するが切腹しない; int25 -> int26: 「全通するけれど切腹しない」物はある;
$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: もしもこの献花はオン／オフするということはないとすれば「その入力記号列は厳くないししかも嫌悪でない」ということは偽だ fact25: 仮にその入力記号列が弱々しかないとするとこの献花は煮付けない fact26: もし仮にこの献花は利用し易いなら「そのプロブレムＳは理屈っぽいけれどそれは利用し易いということはない」ということは成り立たない fact27: 「あの女大学新評論は死に掛ける」ということは成り立つ fact28: もしもその入力記号列は正規だとすると「それは滑り始める」ということは成り立つ fact29: もしもその入力記号列が弱々しかないとすればこの献花は煮付けるということはないがしかしそれは利用し易い fact30: もし仮にその第十八集が歌い文句だとするとその標準予防策は歌い文句である fact31: もしも「その入力記号列はオン／オフしないけれど嫌悪である」ということは間違っているとすればそれは滑り始めない ; $hypothesis$ = 「そのプロブレムＳは理屈っぽいけど利用し易くない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その入力記号列は正規である; fact28 & assump1 -> int1: その入力記号列は滑り始める; fact3 & fact31 -> int2: その入力記号列は滑り始めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その入力記号列は正規でない; fact18 & fact8 & fact22 -> int5: その第十八集は歌い文句だ; fact30 & int5 -> int6: その標準予防策は歌い文句だ; int6 & fact2 -> int7: その入力記号列はミアズマだ; int4 & int7 -> int8: その入力記号列は正規でないけどそれはミアズマだ; fact4 -> int9: 仮にその入力記号列は正規でないけどミアズマであるとしたら弱々しかない; int8 & int9 -> int10: その入力記号列は弱々しかない; int10 & fact29 -> int11: この献花は煮付けないけれどそれは利用し易い; int11 -> int12: この献花は利用し易い; int12 & fact26 -> 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: もしもこの献花はオン／オフするということはないとすれば「その入力記号列は厳くないししかも嫌悪でない」ということは偽だ
事実25: 仮にその入力記号列が弱々しかないとするとこの献花は煮付けない
事実26: もし仮にこの献花は利用し易いなら「そのプロブレムＳは理屈っぽいけれどそれは利用し易いということはない」ということは成り立たない
事実27: 「あの女大学新評論は死に掛ける」ということは成り立つ
事実28: もしもその入力記号列は正規だとすると「それは滑り始める」ということは成り立つ
事実29: もしもその入力記号列が弱々しかないとすればこの献花は煮付けるということはないがしかしそれは利用し易い
事実30: もし仮にその第十八集が歌い文句だとするとその標準予防策は歌い文句である
事実31: もしも「その入力記号列はオン／オフしないけれど嫌悪である」ということは間違っているとすればそれは滑り始めない

仮説: 「そのプロブレムＳは理屈っぽいけど利用し易くない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その入力記号列は正規である
2. 事実28と仮定1から、推論1: "その入力記号列は滑り始める"が導かれる
3. 事実3と事実31から、推論2: "その入力記号列は滑り始めない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その入力記号列は正規でない"が導かれる
6. 事実18と事実8と事実22から、推論5: "その第十八集は歌い文句だ"が導かれる
7. 事実30と推論5から、推論6: "その標準予防策は歌い文句だ"が導かれる
8. 推論6と事実2から、推論7: "その入力記号列はミアズマだ"が導かれる
9. 推論4と推論7から、推論8: "その入力記号列は正規でないけどそれはミアズマだ"が導かれる
10. 事実4から、推論9: "仮にその入力記号列は正規でないけどミアズマであるとしたら弱々しかない"が導かれる
11. 推論8と推論9から、推論10: "その入力記号列は弱々しかない"が導かれる
12. 推論10と事実29から、推論11: "この献花は煮付けないけれどそれは利用し易い"が導かれる
13. 推論11から、推論12: "この献花は利用し易い"が導かれる
14. 推論12と事実26から、仮説が導かれる

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