あの絞り優先ＡＥは悲し
fact1: あの容リ法は疲れ難い fact2: もしも「何らかのものは全会であるけれど照明装置でない」ということは偽であるならば「全会でない」ということは成り立つ fact3: もし仮にとある物が全会でないとするとこの手習いは口惜しくてさらに迷う fact4: 「あの絞り優先ＡＥは弁明するけれど悲しない」ということは成り立たない fact5: もしあるものが健康体なら内属する fact6: もし仮になにかは定住し始めないとしたら「それは拙いかあるいはそれは勇ましいかあるいはどちらもだ」ということは本当だ fact7: あの絞り優先ＡＥはグループ化するということはない fact8: 「仮にその覇権主義が勇ましいとするとその種名は満喫する」ということは確かだ fact9: この倒壊が操縦桿だとすれば力強い fact10: もし仮に「とあるものは住民一人一人だがしかし疲れ難くない」ということは成り立たないとすれば弁明する fact11: もしこの手習いは苦々しいとしたら「あの絞り優先ＡＥは苦々しい」ということは成り立つ fact12: あるものは惨めったらしいとすれば「全会だけれど照明装置でない」ということは偽である fact13: もしもあるものは住民一人一人でないとしたら弁明する fact14: 仮にとあるものが内属するとしたら惨めったらしい fact15: 密売するししかもそれは逃走するという物はない fact16: とあるものは満喫するとしたら「黒っぽくないし健康体でない」ということは間違いだ fact17: もし仮に何らかのものが口惜しいとすればそれは悲しないかもしくはそれは弁明するかあるいはどちらもだ fact18: 仮になにがしかの物が悲しないかあるいは弁明するか両方ともであるならば「苦々しい」ということは成り立つ fact19: 仮にその覇権主義が拙いならばその種名は満喫する fact20: 「なんらかの物は宥め賺すが分離し易くない」ということは嘘であるならばそれはブラジリアンである fact21: それが住民一人一人だしまたそれは疲れ難くないというものはない fact22: もし「なにかは密売するし逃走する」ということは成り立たないとすると定住し始めない fact23: もし「なにかは黒っぽくないしその上それは健康体でない」ということは偽だとすればそれは健康体である
fact21 -> int1: 「あの絞り優先ＡＥは住民一人一人だけれどそれは疲れ難くない」ということは成り立たない; fact10 -> int2: 「あの絞り優先ＡＥは住民一人一人である一方でそれは疲れ難くない」ということは嘘だとすれば弁明する; int1 & int2 -> int3: 「あの絞り優先ＡＥは弁明する」ということは正しい; void -> assump1: 以下のように仮定する。あの絞り優先ＡＥは悲しない; int3 & assump1 -> int4: あの絞り優先ＡＥは弁明するけど悲しない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの絞り優先ＡＥは苦々しい
fact32 -> int6: もし「その種名は全会であるが照明装置でない」ということは成り立たないとすればそれは全会でない; fact35 -> int7: もし仮にその種名は惨めったらしいとすれば「それは全会だけれど照明装置でない」ということは間違いだ; fact28 -> int8: 仮にその種名は内属するなら「それは惨めったらしい」ということは真実だ; fact31 -> int9: もしも「その種名は黒っぽくないしその上それは健康体でない」ということは誤りであるなら「健康体である」ということは成り立つ; fact34 -> int10: もし仮にその種名は満喫するとしたら「黒っぽいということはないし加えて健康体でない」ということは誤りだ; fact36 -> int11: もし仮に「その医療不信は密売するしまた逃走する」ということは誤りであるとすれば定住し始めない; fact30 -> int12: 「「その医療不信は密売するしそれに逃走する」ということは正しい」ということは事実と異なる; int11 & int12 -> int13: 「その医療不信は定住し始めるということはない」ということは成り立つ; int13 -> int14: あらゆるものは定住し始めない; int14 -> int15: この当該保有割合は定住し始めない; fact33 -> int16: 仮に「この当該保有割合は定住し始めない」ということは成り立てばそれは拙いかそれは勇ましいかどちらもだ; int15 & int16 -> int17: この当該保有割合は拙いかあるいは勇ましい; int17 -> int18: 何もかもは拙いかまたは勇ましいか両方だ; int18 -> int19: その覇権主義は拙いかそれは勇ましいか両方ともだ; fact37 & int19 & fact29 -> int20: その種名は満喫する; int10 & int20 -> int21: 「その種名は黒っぽくなくてかつそれは健康体だということはない」ということは嘘である; int9 & int21 -> int22: その種名は健康体だ; fact24 -> int23: その種名が健康体ならば内属する; int22 & int23 -> int24: 「その種名は内属する」ということは成り立つ; int8 & int24 -> int25: その種名は惨めったらしい; int7 & int25 -> int26: 「その種名は全会だがそれは照明装置でない」ということは成り立つということはない; int6 & int26 -> int27: その種名は全会でない; int27 -> int28: 何らかのものは全会でない; int28 & fact27 -> int29: この手習いは口惜しくてかつ迷う; int29 -> int30: この手習いは口惜しい; fact26 -> int31: もしこの手習いが口惜しいとすれば悲しないか弁明するかまたは両方である; int30 & int31 -> int32: この手習いは悲しないかあるいは弁明するかまたは両方だ; fact38 -> int33: 仮にこの手習いが悲しないかまたは弁明するかあるいはどちらもであるならそれは苦々しい; int32 & int33 -> int34: この手習いは苦々しい; int34 & fact25 -> hypothesis;
$facts$ = fact1: あの容リ法は疲れ難い fact2: もしも「何らかのものは全会であるけれど照明装置でない」ということは偽であるならば「全会でない」ということは成り立つ fact3: もし仮にとある物が全会でないとするとこの手習いは口惜しくてさらに迷う fact4: 「あの絞り優先ＡＥは弁明するけれど悲しない」ということは成り立たない fact5: もしあるものが健康体なら内属する fact6: もし仮になにかは定住し始めないとしたら「それは拙いかあるいはそれは勇ましいかあるいはどちらもだ」ということは本当だ fact7: あの絞り優先ＡＥはグループ化するということはない fact8: 「仮にその覇権主義が勇ましいとするとその種名は満喫する」ということは確かだ fact9: この倒壊が操縦桿だとすれば力強い fact10: もし仮に「とあるものは住民一人一人だがしかし疲れ難くない」ということは成り立たないとすれば弁明する fact11: もしこの手習いは苦々しいとしたら「あの絞り優先ＡＥは苦々しい」ということは成り立つ fact12: あるものは惨めったらしいとすれば「全会だけれど照明装置でない」ということは偽である fact13: もしもあるものは住民一人一人でないとしたら弁明する fact14: 仮にとあるものが内属するとしたら惨めったらしい fact15: 密売するししかもそれは逃走するという物はない fact16: とあるものは満喫するとしたら「黒っぽくないし健康体でない」ということは間違いだ fact17: もし仮に何らかのものが口惜しいとすればそれは悲しないかもしくはそれは弁明するかあるいはどちらもだ fact18: 仮になにがしかの物が悲しないかあるいは弁明するか両方ともであるならば「苦々しい」ということは成り立つ fact19: 仮にその覇権主義が拙いならばその種名は満喫する fact20: 「なんらかの物は宥め賺すが分離し易くない」ということは嘘であるならばそれはブラジリアンである fact21: それが住民一人一人だしまたそれは疲れ難くないというものはない fact22: もし「なにかは密売するし逃走する」ということは成り立たないとすると定住し始めない fact23: もし「なにかは黒っぽくないしその上それは健康体でない」ということは偽だとすればそれは健康体である ; $hypothesis$ = あの絞り優先ＡＥは悲し ; $proof$ = 
fact21 -> int1: 「あの絞り優先ＡＥは住民一人一人だけれどそれは疲れ難くない」ということは成り立たない; fact10 -> int2: 「あの絞り優先ＡＥは住民一人一人である一方でそれは疲れ難くない」ということは嘘だとすれば弁明する; int1 & int2 -> int3: 「あの絞り優先ＡＥは弁明する」ということは正しい; void -> assump1: 以下のように仮定する。あの絞り優先ＡＥは悲しない; int3 & assump1 -> int4: あの絞り優先ＡＥは弁明するけど悲しない; int4 & fact4 -> 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: もし「なにかは黒っぽくないしその上それは健康体でない」ということは偽だとすればそれは健康体である

仮説: あの絞り優先ＡＥは悲し
1. 事実21から、推論1: "「あの絞り優先ＡＥは住民一人一人だけれどそれは疲れ難くない」ということは成り立たない"が導かれる
2. 事実10から、推論2: "「あの絞り優先ＡＥは住民一人一人である一方でそれは疲れ難くない」ということは嘘だとすれば弁明する"が導かれる
3. 推論1と推論2から、推論3: "「あの絞り優先ＡＥは弁明する」ということは正しい"が導かれる
4. 仮定1: 以下のように仮定する。あの絞り優先ＡＥは悲しない
5. 推論3と仮定1から、推論4: "あの絞り優先ＡＥは弁明するけど悲しない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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