あのショコラティエは貸せるけれど月報でない
fact1: その保証手形は鶴翼でないがしかしそれはソーシャルワーク理論である fact2: 仮にあのショコラティエはオーガナイズしないけれどγ線であるとしたらそれは月報だということはない fact3: もしもあの基本部分が沈下しないとするとあのショコラティエは貸せる fact4: もしもなにかは教え込むとすれば「それは貸せるが月報でない」ということは成り立たない fact5: もしあの基本部分が教え込むとしたらあのショコラティエは貸せる fact6: もしもあのショコラティエがγ線だとしたらオーガナイズしない fact7: もし仮にあのショコラティエがオーガナイズするしその上γ線であるとすれば月報であるということはない fact8: もしもあの基本部分がアエロメロディコンでないがしかしγ線であるとしたらあのショコラティエはγ線だ fact9: あのショコラティエはオーガナイズするということはないがそれはγ線だ fact10: あの基本部分は教え込むかもしくはそれは沈下しない fact11: あのショコラティエはオーガナイズしない
fact10 & fact5 & fact3 -> int1: あのショコラティエは貸せる; fact9 & fact2 -> int2: あのショコラティエは月報でない; int1 & int2 -> hypothesis;
fact10 & fact5 & fact3 -> int1: {C}{c}; fact9 & fact2 -> int2: ¬{D}{c}; int1 & int2 -> hypothesis;
「あのショコラティエは貸せるがしかし月報でない」ということは成り立たない
fact14 -> int3: もし「あのショコラティエは教え込む」ということは確かであるならば「それは貸せるし月報でない」ということは成り立たない;
$facts$ = fact1: その保証手形は鶴翼でないがしかしそれはソーシャルワーク理論である fact2: 仮にあのショコラティエはオーガナイズしないけれどγ線であるとしたらそれは月報だということはない fact3: もしもあの基本部分が沈下しないとするとあのショコラティエは貸せる fact4: もしもなにかは教え込むとすれば「それは貸せるが月報でない」ということは成り立たない fact5: もしあの基本部分が教え込むとしたらあのショコラティエは貸せる fact6: もしもあのショコラティエがγ線だとしたらオーガナイズしない fact7: もし仮にあのショコラティエがオーガナイズするしその上γ線であるとすれば月報であるということはない fact8: もしもあの基本部分がアエロメロディコンでないがしかしγ線であるとしたらあのショコラティエはγ線だ fact9: あのショコラティエはオーガナイズするということはないがそれはγ線だ fact10: あの基本部分は教え込むかもしくはそれは沈下しない fact11: あのショコラティエはオーガナイズしない ; $hypothesis$ = あのショコラティエは貸せるけれど月報でない ; $proof$ = 
fact10 & fact5 & fact3 -> int1: あのショコラティエは貸せる; fact9 & fact2 -> int2: あのショコラティエは月報でない; int1 & int2 -> hypothesis; __PROVED__
事実1: その保証手形は鶴翼でないがしかしそれはソーシャルワーク理論である
事実2: 仮にあのショコラティエはオーガナイズしないけれどγ線であるとしたらそれは月報だということはない
事実3: もしもあの基本部分が沈下しないとするとあのショコラティエは貸せる
事実4: もしもなにかは教え込むとすれば「それは貸せるが月報でない」ということは成り立たない
事実5: もしあの基本部分が教え込むとしたらあのショコラティエは貸せる
事実6: もしもあのショコラティエがγ線だとしたらオーガナイズしない
事実7: もし仮にあのショコラティエがオーガナイズするしその上γ線であるとすれば月報であるということはない
事実8: もしもあの基本部分がアエロメロディコンでないがしかしγ線であるとしたらあのショコラティエはγ線だ
事実9: あのショコラティエはオーガナイズするということはないがそれはγ線だ
事実10: あの基本部分は教え込むかもしくはそれは沈下しない
事実11: あのショコラティエはオーガナイズしない

仮説: あのショコラティエは貸せるけれど月報でない
1. 事実10と事実5と事実3から、推論1: "あのショコラティエは貸せる"が導かれる
2. 事実9と事実2から、推論2: "あのショコラティエは月報でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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