あの清涼殿は資産状況である
fact1: 印象深くない物は辿り着くが資産状況でない fact2: 仮に「「常連らしいしかつ根気良い」ということは成り立たない」ものがあるとするとあの居丈高は健闘する fact3: 仮にあの居丈高が辿り着くとしたらあの清涼殿は資産状況だ fact4: あの居丈高は資産状況である fact5: 「その走り方は辿り着く」ということは成り立つ fact6: 「「根気良いしおまけに教員間だ」ということは誤っている」ものはある fact7: もし仮にそのＧＰＳ受信機はけたたましくないなら「それは乗り易いしおまけに抽水液だ」ということは成り立たない fact8: 仮に何らかの物が乗り易くないとすればその同水準は印象深いし分かり易い fact9: 「「燃え付き症候群であるということはないし眩くない」ということは間違いな」ものはある fact10: 「「ある物は印象深いし更に乗り易い」ということは事実だ」ということは成り立たないなら「それは印象深くない」ということは事実である fact11: もしも「そのＧＰＳ受信機は乗り易くて抽水液だ」ということは間違っているとすると乗り易くない fact12: もしとあるものは分かり易くないとすると「印象深くて乗り易い」ということは成り立つということはない fact13: そのＧＰＳ受信機はけたたましくない fact14: もし「あの清涼殿は反応し易くない」ということは成り立つとすると「抽水液だけどけたたましくない」ということは偽だ fact15: もしもあの清涼殿が辿り着くならあの居丈高は資産状況だ fact16: もし仮に「「あの居丈高は反応し易くてそれは疑り深い」ということは嘘だ」ということは本当ならあの清涼殿は反応し易くない fact17: あるものは根気良くてそれは教員間だ fact18: もし「「根気良いしおまけに教員間だ」ということは成り立たない」ものがあるならあの居丈高は辿り着く fact19: 「根気良くない」ものがあるならあの居丈高は辿り着く fact20: もしその同水準は商人らしいということはないとしたら「あの居丈高は反応し易いしおまけに疑り深い」ということは成り立たない fact21: もし「とある物は抽水液だがしかしけたたましくない」ということは成り立たないとしたら「それは分かり易くない」ということは本当である fact22: あの居丈高が教員間であるとしたらその領得罪は教員間だ
fact6 & fact18 -> int1: あの居丈高は辿り着く; int1 & fact3 -> hypothesis;
fact6 & fact18 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
その領得罪は教員間である
fact27 & fact25 -> int2: 「そのＧＰＳ受信機は乗り易いしそれに抽水液である」ということは確かでない; fact23 & int2 -> int3: そのＧＰＳ受信機は乗り易くない; int3 -> int4: 「乗り易くない」ものはある; int4 & fact26 -> int5: 「その同水準は印象深いし分かり易い」ということは成り立つ; int5 -> int6: その同水準は印象深い; int6 -> int7: とある物は印象深い;
$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$ = 
fact6 & fact18 -> int1: あの居丈高は辿り着く; int1 & fact3 -> 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. 事実6と事実18から、推論1: "あの居丈高は辿り着く"が導かれる
2. 推論1と事実3から、仮説が導かれる

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