あの小倉芝は絶え間無い
fact1: 仮にあの小倉芝が恋い焦がれないとするとこのケースブックは絶え間無い fact2: もし仮にこのケースブックが睨めないとしたらあの小倉芝は絶え間無い fact3: もしこのケースブックが安んじるないならあの株式市場全体は恋い焦がれる fact4: 「このケースブックは安い」ということは事実だ fact5: そのデーリーは睨める fact6: あの株式市場全体が安くないならばあのケースブックは睨めないかあるいは恋い焦がれないかまたは両方だ fact7: 仮にあの株式市場全体が安んじるないとすればあのケースブックは恋い焦がれないかまたはそれは安いということはない fact8: もしあの株式市場全体が睨めないとすればこのケースブックは安んじる fact9: このケースブックが絶え間無くないならばあの小倉芝は恋い焦がれる fact10: あの小倉芝は回航しないか安んじるないかもしくは両方ともである fact11: あの小倉芝は絶え間無くないかあるいはそれは恋い焦がれない fact12: あの株式市場全体は恋い焦がれないかもしくはそれは安くない fact13: もし仮に「なんらかの物は絶え間無いけれどそれは睨めない」ということは間違っているとしたら絶え間無くない fact14: もしこのケースブックが恋い焦がれないとするとあの小倉芝は絶え間無い fact15: 「あの小倉芝は把握しないか政党以外であるかあるいは両方である」ということは確かでない fact16: 各自解釈は有り難い fact17: 「あの株式市場全体は安んじるないかあるいはそれは行き違う」ということは誤っている fact18: もしもあの小倉芝が有り難いならば安くてそれは恋い焦がれない fact19: あの株式市場全体は安んじるないかあるいはそれは睨めない fact20: 「あの株式市場全体は安くないかもしくは恋い焦がれるかまたは両方である」ということは誤りであるならそれは絶え間無くない fact21: 「あの株式市場全体は安んじるないかあるいはそれは睨めるかもしくは両方ともである」ということは成り立たない fact22: 仮にあの株式市場全体が恋い焦がれないならばあのケースブックは安んじる fact23: このケースブックは安んじる fact24: もし「あの株式市場全体は安んじるないかもしくは行き違うかまたはどちらもである」ということは成り立たないなら安いということはない
fact24 & fact17 -> int1: 「あの株式市場全体は安い」ということは成り立つということはない; int1 & fact6 -> int2: このケースブックは睨めないかそれは恋い焦がれない; int2 & fact2 & fact14 -> hypothesis;
あの小倉芝は絶え間無いということはない
fact27 -> int3: 仮に「「あの小倉芝は絶え間無いがしかしそれは睨めるということはない」ということは偽だ」ということは本当ならばそれは絶え間無くない; fact25 -> int4: もしもあの小倉芝は各自解釈ならば「有り難い」ということは真実だ;
$facts$ = fact1: 仮にあの小倉芝が恋い焦がれないとするとこのケースブックは絶え間無い fact2: もし仮にこのケースブックが睨めないとしたらあの小倉芝は絶え間無い fact3: もしこのケースブックが安んじるないならあの株式市場全体は恋い焦がれる fact4: 「このケースブックは安い」ということは事実だ fact5: そのデーリーは睨める fact6: あの株式市場全体が安くないならばあのケースブックは睨めないかあるいは恋い焦がれないかまたは両方だ fact7: 仮にあの株式市場全体が安んじるないとすればあのケースブックは恋い焦がれないかまたはそれは安いということはない fact8: もしあの株式市場全体が睨めないとすればこのケースブックは安んじる fact9: このケースブックが絶え間無くないならばあの小倉芝は恋い焦がれる fact10: あの小倉芝は回航しないか安んじるないかもしくは両方ともである fact11: あの小倉芝は絶え間無くないかあるいはそれは恋い焦がれない fact12: あの株式市場全体は恋い焦がれないかもしくはそれは安くない fact13: もし仮に「なんらかの物は絶え間無いけれどそれは睨めない」ということは間違っているとしたら絶え間無くない fact14: もしこのケースブックが恋い焦がれないとするとあの小倉芝は絶え間無い fact15: 「あの小倉芝は把握しないか政党以外であるかあるいは両方である」ということは確かでない fact16: 各自解釈は有り難い fact17: 「あの株式市場全体は安んじるないかあるいはそれは行き違う」ということは誤っている fact18: もしもあの小倉芝が有り難いならば安くてそれは恋い焦がれない fact19: あの株式市場全体は安んじるないかあるいはそれは睨めない fact20: 「あの株式市場全体は安くないかもしくは恋い焦がれるかまたは両方である」ということは誤りであるならそれは絶え間無くない fact21: 「あの株式市場全体は安んじるないかあるいはそれは睨めるかもしくは両方ともである」ということは成り立たない fact22: 仮にあの株式市場全体が恋い焦がれないならばあのケースブックは安んじる fact23: このケースブックは安んじる fact24: もし「あの株式市場全体は安んじるないかもしくは行き違うかまたはどちらもである」ということは成り立たないなら安いということはない ; $hypothesis$ = あの小倉芝は絶え間無い ; $proof$ = 
fact24 & fact17 -> int1: 「あの株式市場全体は安い」ということは成り立つということはない; int1 & fact6 -> int2: このケースブックは睨めないかそれは恋い焦がれない; int2 & fact2 & fact14 -> 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: このケースブックは安んじる
事実24: もし「あの株式市場全体は安んじるないかもしくは行き違うかまたはどちらもである」ということは成り立たないなら安いということはない

仮説: あの小倉芝は絶え間無い
1. 事実24と事実17から、推論1: "「あの株式市場全体は安い」ということは成り立つということはない"が導かれる
2. 推論1と事実6から、推論2: "このケースブックは睨めないかそれは恋い焦がれない"が導かれる
3. 推論2と事実2と事実14から、仮説が導かれる

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