その擂り鉢山は二十六章である
fact1: その擂り鉢山は伴い易くない fact2: あの方達はヘルプする fact3: もしもあの方達が伴い易いとするとその湯たんぽは生じ兼ねる fact4: その湯たんぽが生じ兼ねるとするとあのアルタイ諸語は酸い fact5: なにがしかの物は手折らないならば「二十六章でなくてそれに損金処理しない」ということは真実である fact6: もし仮に何らかの物がブラーマンでないとすればそれは伴い易いし加えてヘルプする fact7: もしもあの電解質が損金処理するか手折るかまたは両方ならあの方達はブラーマンでない fact8: 「あの電解質は手折る」ということは成り立つ fact9: 仮にあの電解質は酸いということはないとしたら「伴い易くない」ということは嘘でない fact10: 仮にあの方達がブラーマンでないとすればそれはヘルプする fact11: あの電解質は酸くない fact12: もしもあの電解質が手折らないがしかし二十六章だとしたらその擂り鉢山は二十六章だということはない fact13: その擂り鉢山は小高いかあるいは太り難いかまたはどちらもだ fact14: もし仮にあの電解質が損金処理するとするとあの方達はブラーマンでない fact15: もしも「あのアルタイ諸語は酸い」ということは成り立つならばあの擂り鉢山は二十六章だ fact16: その擂り鉢山は手折れば「あの電解質は二十六章である」ということは成り立つ fact17: あのアルタイ諸語は生じ兼ねる fact18: 仮にあの電解質が酸いとしたらあのアルタイ諸語は損金処理する fact19: もし何らかのものはブラーマンでないならばそれはヘルプする fact20: もしもあの電解質が伴い易くないしその上手折らないならばあの擂り鉢山は手折らない
fact8 -> int1: あの電解質は損金処理するかもしくはそれは手折る; int1 & fact7 -> int2: あの方達はブラーマンでない; fact6 -> int3: もし「あの方達はブラーマンでない」ということは成り立てば伴い易くてヘルプする; int2 & int3 -> int4: あの方達は伴い易くてそれにそれはヘルプする; int4 -> int5: あの方達は伴い易い; int5 & fact3 -> int6: その湯たんぽは生じ兼ねる; int6 & fact4 -> int7: あのアルタイ諸語は酸い; int7 & fact15 -> hypothesis;
その擂り鉢山は二十六章でない
$facts$ = fact1: その擂り鉢山は伴い易くない fact2: あの方達はヘルプする fact3: もしもあの方達が伴い易いとするとその湯たんぽは生じ兼ねる fact4: その湯たんぽが生じ兼ねるとするとあのアルタイ諸語は酸い fact5: なにがしかの物は手折らないならば「二十六章でなくてそれに損金処理しない」ということは真実である fact6: もし仮に何らかの物がブラーマンでないとすればそれは伴い易いし加えてヘルプする fact7: もしもあの電解質が損金処理するか手折るかまたは両方ならあの方達はブラーマンでない fact8: 「あの電解質は手折る」ということは成り立つ fact9: 仮にあの電解質は酸いということはないとしたら「伴い易くない」ということは嘘でない fact10: 仮にあの方達がブラーマンでないとすればそれはヘルプする fact11: あの電解質は酸くない fact12: もしもあの電解質が手折らないがしかし二十六章だとしたらその擂り鉢山は二十六章だということはない fact13: その擂り鉢山は小高いかあるいは太り難いかまたはどちらもだ fact14: もし仮にあの電解質が損金処理するとするとあの方達はブラーマンでない fact15: もしも「あのアルタイ諸語は酸い」ということは成り立つならばあの擂り鉢山は二十六章だ fact16: その擂り鉢山は手折れば「あの電解質は二十六章である」ということは成り立つ fact17: あのアルタイ諸語は生じ兼ねる fact18: 仮にあの電解質が酸いとしたらあのアルタイ諸語は損金処理する fact19: もし何らかのものはブラーマンでないならばそれはヘルプする fact20: もしもあの電解質が伴い易くないしその上手折らないならばあの擂り鉢山は手折らない ; $hypothesis$ = その擂り鉢山は二十六章である ; $proof$ = 
fact8 -> int1: あの電解質は損金処理するかもしくはそれは手折る; int1 & fact7 -> int2: あの方達はブラーマンでない; fact6 -> int3: もし「あの方達はブラーマンでない」ということは成り立てば伴い易くてヘルプする; int2 & int3 -> int4: あの方達は伴い易くてそれにそれはヘルプする; int4 -> int5: あの方達は伴い易い; int5 & fact3 -> int6: その湯たんぽは生じ兼ねる; int6 & fact4 -> int7: あのアルタイ諸語は酸い; int7 & fact15 -> hypothesis; __PROVED__
事実1: その擂り鉢山は伴い易くない
事実2: あの方達はヘルプする
事実3: もしもあの方達が伴い易いとするとその湯たんぽは生じ兼ねる
事実4: その湯たんぽが生じ兼ねるとするとあのアルタイ諸語は酸い
事実5: なにがしかの物は手折らないならば「二十六章でなくてそれに損金処理しない」ということは真実である
事実6: もし仮に何らかの物がブラーマンでないとすればそれは伴い易いし加えてヘルプする
事実7: もしもあの電解質が損金処理するか手折るかまたは両方ならあの方達はブラーマンでない
事実8: 「あの電解質は手折る」ということは成り立つ
事実9: 仮にあの電解質は酸いということはないとしたら「伴い易くない」ということは嘘でない
事実10: 仮にあの方達がブラーマンでないとすればそれはヘルプする
事実11: あの電解質は酸くない
事実12: もしもあの電解質が手折らないがしかし二十六章だとしたらその擂り鉢山は二十六章だということはない
事実13: その擂り鉢山は小高いかあるいは太り難いかまたはどちらもだ
事実14: もし仮にあの電解質が損金処理するとするとあの方達はブラーマンでない
事実15: もしも「あのアルタイ諸語は酸い」ということは成り立つならばあの擂り鉢山は二十六章だ
事実16: その擂り鉢山は手折れば「あの電解質は二十六章である」ということは成り立つ
事実17: あのアルタイ諸語は生じ兼ねる
事実18: 仮にあの電解質が酸いとしたらあのアルタイ諸語は損金処理する
事実19: もし何らかのものはブラーマンでないならばそれはヘルプする
事実20: もしもあの電解質が伴い易くないしその上手折らないならばあの擂り鉢山は手折らない

仮説: その擂り鉢山は二十六章である
1. 事実8から、推論1: "あの電解質は損金処理するかもしくはそれは手折る"が導かれる
2. 推論1と事実7から、推論2: "あの方達はブラーマンでない"が導かれる
3. 事実6から、推論3: "もし「あの方達はブラーマンでない」ということは成り立てば伴い易くてヘルプする"が導かれる
4. 推論2と推論3から、推論4: "あの方達は伴い易くてそれにそれはヘルプする"が導かれる
5. 推論4から、推論5: "あの方達は伴い易い"が導かれる
6. 推論5と事実3から、推論6: "その湯たんぽは生じ兼ねる"が導かれる
7. 推論6と事実4から、推論7: "あのアルタイ諸語は酸い"が導かれる
8. 推論7と事実15から、仮説が導かれる

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