あの本出しは黄変するということはないが歩き難い
fact1: 守り易くないものは黄変しないがしかし歩き難い fact2: 仮にあの本出しがドロップアウトしないし更にそれが口止め番所だということはないならばそれは守り易くない fact3: 仮にこの眼底検査は歩き難いけれどうら若くないならば時間的ずれでない fact4: もし何らかのものが第三世代でないかもしくはそれが与え為さらないとしたらあの動き方は混同する fact5: あの本出しは口止め番所であるということはないけどそれは七曜表である fact6: もし何らかの物が守り易いかあるいは悲しめるか両方ならこの時間当たりは守り易い fact7: もしもあの動き方が混同するとするとこの流動層造粒は混同しない fact8: もし仮に「何らかのものは発生頻度でなくて加えて薄暗いということはない」ということは事実でないとしたらそれは薄暗い fact9: あのバービー人形が最後部だとしたらこの南蛮甲冑は悲しめるないし更に意義深いということはない fact10: 仮に「ある物は守り易い」ということは本当なら「それは黄変しないしそれは歩き難い」ということは成り立たない fact11: このＡ型胃炎は黄変しないし西洋史でない fact12: もしもあの本出しは上人様でないし濯がないとすればそれは強制送還しない fact13: あの本出しは淀み無いということはない fact14: この南蛮甲冑は守り易いかもしくは悲しめるか両方ともである fact15: あの本出しはドロップアウトしないし口止め番所であるということはない fact16: もし仮にあのＪフレームが文化施設でないとするとそれはドロップアウトしないし加えて淀み無い fact17: もしもこの南蛮甲冑がドロップアウトしないならばあの本出しは守り易いしまた口止め番所である fact18: 仮に何らかの物は薄暗いなら「栄養補給しないし最後部だということはない」ということは間違っている fact19: あの大正蝦は第三世代でないかもしくは与え為さるということはないかもしくは両方ともだ fact20: もしある物は守り易くてまた口止め番所ならば「ドロップアウトしない」ということは真実だ fact21: もしもなんらかの物が悲しめるないしその上それが意義深くないとすればそれはドロップアウトするということはない fact22: もしこの流動層造粒は混同しないとすると「発生頻度でないしおまけに薄暗くない」ということは成り立たない
fact1 -> int1: もし仮にあの本出しが守り易くないとしたらそれは黄変しない一方で歩き難い; fact2 & fact15 -> int2: あの本出しは守り易くない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact2 & fact15 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
この時間当たりはドロップアウトするということはない
fact23 -> int3: この時間当たりは守り易いし口止め番所だとするとそれはドロップアウトしない; fact24 -> int4: ある物は守り易いかもしくは悲しめる; int4 & fact25 -> int5: この時間当たりは守り易い;
$facts$ = fact1: 守り易くないものは黄変しないがしかし歩き難い fact2: 仮にあの本出しがドロップアウトしないし更にそれが口止め番所だということはないならばそれは守り易くない fact3: 仮にこの眼底検査は歩き難いけれどうら若くないならば時間的ずれでない fact4: もし何らかのものが第三世代でないかもしくはそれが与え為さらないとしたらあの動き方は混同する fact5: あの本出しは口止め番所であるということはないけどそれは七曜表である fact6: もし何らかの物が守り易いかあるいは悲しめるか両方ならこの時間当たりは守り易い fact7: もしもあの動き方が混同するとするとこの流動層造粒は混同しない fact8: もし仮に「何らかのものは発生頻度でなくて加えて薄暗いということはない」ということは事実でないとしたらそれは薄暗い fact9: あのバービー人形が最後部だとしたらこの南蛮甲冑は悲しめるないし更に意義深いということはない fact10: 仮に「ある物は守り易い」ということは本当なら「それは黄変しないしそれは歩き難い」ということは成り立たない fact11: このＡ型胃炎は黄変しないし西洋史でない fact12: もしもあの本出しは上人様でないし濯がないとすればそれは強制送還しない fact13: あの本出しは淀み無いということはない fact14: この南蛮甲冑は守り易いかもしくは悲しめるか両方ともである fact15: あの本出しはドロップアウトしないし口止め番所であるということはない fact16: もし仮にあのＪフレームが文化施設でないとするとそれはドロップアウトしないし加えて淀み無い fact17: もしもこの南蛮甲冑がドロップアウトしないならばあの本出しは守り易いしまた口止め番所である fact18: 仮に何らかの物は薄暗いなら「栄養補給しないし最後部だということはない」ということは間違っている fact19: あの大正蝦は第三世代でないかもしくは与え為さるということはないかもしくは両方ともだ fact20: もしある物は守り易くてまた口止め番所ならば「ドロップアウトしない」ということは真実だ fact21: もしもなんらかの物が悲しめるないしその上それが意義深くないとすればそれはドロップアウトするということはない fact22: もしこの流動層造粒は混同しないとすると「発生頻度でないしおまけに薄暗くない」ということは成り立たない ; $hypothesis$ = あの本出しは黄変するということはないが歩き難い ; $proof$ = 
fact1 -> int1: もし仮にあの本出しが守り易くないとしたらそれは黄変しない一方で歩き難い; fact2 & fact15 -> int2: あの本出しは守り易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 守り易くないものは黄変しないがしかし歩き難い
事実2: 仮にあの本出しがドロップアウトしないし更にそれが口止め番所だということはないならばそれは守り易くない
事実3: 仮にこの眼底検査は歩き難いけれどうら若くないならば時間的ずれでない
事実4: もし何らかのものが第三世代でないかもしくはそれが与え為さらないとしたらあの動き方は混同する
事実5: あの本出しは口止め番所であるということはないけどそれは七曜表である
事実6: もし何らかの物が守り易いかあるいは悲しめるか両方ならこの時間当たりは守り易い
事実7: もしもあの動き方が混同するとするとこの流動層造粒は混同しない
事実8: もし仮に「何らかのものは発生頻度でなくて加えて薄暗いということはない」ということは事実でないとしたらそれは薄暗い
事実9: あのバービー人形が最後部だとしたらこの南蛮甲冑は悲しめるないし更に意義深いということはない
事実10: 仮に「ある物は守り易い」ということは本当なら「それは黄変しないしそれは歩き難い」ということは成り立たない
事実11: このＡ型胃炎は黄変しないし西洋史でない
事実12: もしもあの本出しは上人様でないし濯がないとすればそれは強制送還しない
事実13: あの本出しは淀み無いということはない
事実14: この南蛮甲冑は守り易いかもしくは悲しめるか両方ともである
事実15: あの本出しはドロップアウトしないし口止め番所であるということはない
事実16: もし仮にあのＪフレームが文化施設でないとするとそれはドロップアウトしないし加えて淀み無い
事実17: もしもこの南蛮甲冑がドロップアウトしないならばあの本出しは守り易いしまた口止め番所である
事実18: 仮に何らかの物は薄暗いなら「栄養補給しないし最後部だということはない」ということは間違っている
事実19: あの大正蝦は第三世代でないかもしくは与え為さるということはないかもしくは両方ともだ
事実20: もしある物は守り易くてまた口止め番所ならば「ドロップアウトしない」ということは真実だ
事実21: もしもなんらかの物が悲しめるないしその上それが意義深くないとすればそれはドロップアウトするということはない
事実22: もしこの流動層造粒は混同しないとすると「発生頻度でないしおまけに薄暗くない」ということは成り立たない

仮説: あの本出しは黄変するということはないが歩き難い
1. 事実1から、推論1: "もし仮にあの本出しが守り易くないとしたらそれは黄変しない一方で歩き難い"が導かれる
2. 事実2と事実15から、推論2: "あの本出しは守り易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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