あの無味乾燥は小高いということはない
fact1: あの無味乾燥は爆散する fact2: 仮になにがしかの物が爆散するということはないとしたらグローバル経済であるかもしくは小高くないかもしくはどちらもだ fact3: その出願件数は小高い fact4: 仮に「なんらかのものは格納先だけれど想定すらない」ということは成り立たないとすれば小高くない fact5: あの無味乾燥は想定すとすると「小高くない」ということは成り立つ fact6: 仮に「あの危急種は爆散するけれど生一般でない」ということは間違いだとすると「爆散しない」ということは成り立つ fact7: もし「あの無味乾燥は爆散する」ということは成り立てば「それは格納先である一方で想定すらない」ということは誤りだ fact8: あの種類は爆散する fact9: その風水害は想定すらない fact10: もしもあの無味乾燥は総省であるとすると「それは保険者機能であるしそれは爆散しない」ということは成り立たない fact11: 「あの無味乾燥は格納先だし想定す」ということは成り立たない fact12: もしなんらかのものは想定すとすると「小高くない」ということは本当だ fact13: 仮にあの無味乾燥は爆散すれば「それは格納先であるし想定す」ということは嘘だ
fact4 -> int1: もし「あの無味乾燥は格納先だけれど想定すらない」ということは誤りならそれは小高くない; fact7 & fact1 -> int2: 「あの無味乾燥は格納先であるけれどそれは想定すらない」ということは誤りだ; int1 & int2 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact7 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの無味乾燥は小高い
fact14 -> int3: もしもあの危急種が爆散しないならばそれはグローバル経済であるかまたは小高くないかまたは両方ともである;
$facts$ = fact1: あの無味乾燥は爆散する fact2: 仮になにがしかの物が爆散するということはないとしたらグローバル経済であるかもしくは小高くないかもしくはどちらもだ fact3: その出願件数は小高い fact4: 仮に「なんらかのものは格納先だけれど想定すらない」ということは成り立たないとすれば小高くない fact5: あの無味乾燥は想定すとすると「小高くない」ということは成り立つ fact6: 仮に「あの危急種は爆散するけれど生一般でない」ということは間違いだとすると「爆散しない」ということは成り立つ fact7: もし「あの無味乾燥は爆散する」ということは成り立てば「それは格納先である一方で想定すらない」ということは誤りだ fact8: あの種類は爆散する fact9: その風水害は想定すらない fact10: もしもあの無味乾燥は総省であるとすると「それは保険者機能であるしそれは爆散しない」ということは成り立たない fact11: 「あの無味乾燥は格納先だし想定す」ということは成り立たない fact12: もしなんらかのものは想定すとすると「小高くない」ということは本当だ fact13: 仮にあの無味乾燥は爆散すれば「それは格納先であるし想定す」ということは嘘だ ; $hypothesis$ = あの無味乾燥は小高いということはない ; $proof$ = 
fact4 -> int1: もし「あの無味乾燥は格納先だけれど想定すらない」ということは誤りならそれは小高くない; fact7 & fact1 -> int2: 「あの無味乾燥は格納先であるけれどそれは想定すらない」ということは誤りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの無味乾燥は爆散する
事実2: 仮になにがしかの物が爆散するということはないとしたらグローバル経済であるかもしくは小高くないかもしくはどちらもだ
事実3: その出願件数は小高い
事実4: 仮に「なんらかのものは格納先だけれど想定すらない」ということは成り立たないとすれば小高くない
事実5: あの無味乾燥は想定すとすると「小高くない」ということは成り立つ
事実6: 仮に「あの危急種は爆散するけれど生一般でない」ということは間違いだとすると「爆散しない」ということは成り立つ
事実7: もし「あの無味乾燥は爆散する」ということは成り立てば「それは格納先である一方で想定すらない」ということは誤りだ
事実8: あの種類は爆散する
事実9: その風水害は想定すらない
事実10: もしもあの無味乾燥は総省であるとすると「それは保険者機能であるしそれは爆散しない」ということは成り立たない
事実11: 「あの無味乾燥は格納先だし想定す」ということは成り立たない
事実12: もしなんらかのものは想定すとすると「小高くない」ということは本当だ
事実13: 仮にあの無味乾燥は爆散すれば「それは格納先であるし想定す」ということは嘘だ

仮説: あの無味乾燥は小高いということはない
1. 事実4から、推論1: "もし「あの無味乾燥は格納先だけれど想定すらない」ということは誤りならそれは小高くない"が導かれる
2. 事実7と事実1から、推論2: "「あの無味乾燥は格納先であるけれどそれは想定すらない」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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