あのランタナは限り無し
fact1: 仮に「あのランタナは高金利でないけれどそれは逆袈裟だ」ということは確かでないならばあの三十三図は限り無し fact2: もし仮にあの三十三図が泥酔するとしたらあのランタナは限り無し fact3: 仮に「なにがしかの物が逆袈裟だけど泥酔しない」ということは誤りだとするとそれは泥酔する fact4: もし何らかのものは満足するとすると「高金利でないけれど逆袈裟だ」ということは偽である fact5: あの三十三図はコントロールし易い fact6: もしもあの三十三図はコントロールし易いとすれば「それは泥酔する」ということは確かだ fact7: もしあの中途半端が上位人気でないとすればあのランタナは満足するしフーリエ変換する fact8: 「「腹式でなくておまけに威嚇射撃であるということはない」ということは成り立たない」物はある fact9: あのランタナはコントロールし易い fact10: 仮にあの中途半端が泥酔するならばあの三十三図は限り無し fact11: あのランタナは泥酔する fact12: もし仮になんらかの物は高金利だとすると「逆袈裟だしさらに泥酔しない」ということは成り立たない
fact6 & fact5 -> int1: あの三十三図は泥酔する; int1 & fact2 -> hypothesis;
あの胸肉はコントロールし易い
fact13 -> int2: もし仮にあのランタナは満足するなら「高金利でないし加えてそれは逆袈裟である」ということは成り立たない;
$facts$ = fact1: 仮に「あのランタナは高金利でないけれどそれは逆袈裟だ」ということは確かでないならばあの三十三図は限り無し fact2: もし仮にあの三十三図が泥酔するとしたらあのランタナは限り無し fact3: 仮に「なにがしかの物が逆袈裟だけど泥酔しない」ということは誤りだとするとそれは泥酔する fact4: もし何らかのものは満足するとすると「高金利でないけれど逆袈裟だ」ということは偽である fact5: あの三十三図はコントロールし易い fact6: もしもあの三十三図はコントロールし易いとすれば「それは泥酔する」ということは確かだ fact7: もしあの中途半端が上位人気でないとすればあのランタナは満足するしフーリエ変換する fact8: 「「腹式でなくておまけに威嚇射撃であるということはない」ということは成り立たない」物はある fact9: あのランタナはコントロールし易い fact10: 仮にあの中途半端が泥酔するならばあの三十三図は限り無し fact11: あのランタナは泥酔する fact12: もし仮になんらかの物は高金利だとすると「逆袈裟だしさらに泥酔しない」ということは成り立たない ; $hypothesis$ = あのランタナは限り無し ; $proof$ = 
fact6 & fact5 -> int1: あの三十三図は泥酔する; int1 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「あのランタナは高金利でないけれどそれは逆袈裟だ」ということは確かでないならばあの三十三図は限り無し
事実2: もし仮にあの三十三図が泥酔するとしたらあのランタナは限り無し
事実3: 仮に「なにがしかの物が逆袈裟だけど泥酔しない」ということは誤りだとするとそれは泥酔する
事実4: もし何らかのものは満足するとすると「高金利でないけれど逆袈裟だ」ということは偽である
事実5: あの三十三図はコントロールし易い
事実6: もしもあの三十三図はコントロールし易いとすれば「それは泥酔する」ということは確かだ
事実7: もしあの中途半端が上位人気でないとすればあのランタナは満足するしフーリエ変換する
事実8: 「「腹式でなくておまけに威嚇射撃であるということはない」ということは成り立たない」物はある
事実9: あのランタナはコントロールし易い
事実10: 仮にあの中途半端が泥酔するならばあの三十三図は限り無し
事実11: あのランタナは泥酔する
事実12: もし仮になんらかの物は高金利だとすると「逆袈裟だしさらに泥酔しない」ということは成り立たない

仮説: あのランタナは限り無し
1. 事実6と事実5から、推論1: "あの三十三図は泥酔する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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