もしもこのクリスマス・イブが泥塗れだとすればこのマネーは鳥達である
fact1: 「このクリスマス・イブは香ばしい」ということは正しい fact2: もしもこのクリスマス・イブは香ばしいけど汚いということはないとしたら執念深くない fact3: このクリスマス・イブが執念深くない一方で泥塗れならばあのマネーは鳥達だ fact4: なにがしかの物は泥塗れでないならば香ばしかないがしかし疲れ始める fact5: このクリスマス・イブは伝道者でないがそれは行列する fact6: 仮にこのクリスマス・イブが鳥達だとしたらこのマネーは香ばしい fact7: このクリスマス・イブは拘束条件でないがしかし泥塗れである fact8: もし仮にこのマネーは執念深いなら「このクリスマス・イブは鳥達だ」ということは事実である fact9: その建設工事が返還請求出来るならばあの手形行為は同時だ fact10: このマネーは内臓感覚でないとしたら「「このクリスマス・イブは執念深いかまたは鳥達でないかもしくは両方ともである」ということは事実と異なる」ということは真実だ fact11: その建設工事は返還請求出来る fact12: このクリスマス・イブは香ばしいけれど汚くない fact13: もしなにかは同時であるとすれば「それは内臓感覚であるがしかし無常感覚であるということはない」ということは確かでない fact14: この孝悌は鳥達である
fact2 & fact12 -> int1: このクリスマス・イブは執念深くない; void -> assump1: 以下のように仮定する。このクリスマス・イブは泥塗れである; int1 & assump1 -> int2: このクリスマス・イブは執念深くないがしかしそれは泥塗れだ; int2 & fact3 -> int3: このマネーは鳥達だ; [assump1] & int3 -> hypothesis;
あの投資会社は香ばしかないけれどそれは疲れ始める
fact15 -> int4: もしもあの投資会社が泥塗れでないとすれば香ばしかないがしかし疲れ始める; fact18 -> int5: もし仮にその手形行為は同時であるなら「それは内臓感覚だけど無常感覚でない」ということは成り立たない; fact19 & fact16 -> int6: その手形行為は同時だ; int5 & int6 -> int7: 「その手形行為が内臓感覚だけどそれは無常感覚でない」ということは成り立たない; int7 -> int8: 「「内臓感覚である一方で無常感覚でない」ということは成り立たない」ものはある;
$facts$ = fact1: 「このクリスマス・イブは香ばしい」ということは正しい fact2: もしもこのクリスマス・イブは香ばしいけど汚いということはないとしたら執念深くない fact3: このクリスマス・イブが執念深くない一方で泥塗れならばあのマネーは鳥達だ fact4: なにがしかの物は泥塗れでないならば香ばしかないがしかし疲れ始める fact5: このクリスマス・イブは伝道者でないがそれは行列する fact6: 仮にこのクリスマス・イブが鳥達だとしたらこのマネーは香ばしい fact7: このクリスマス・イブは拘束条件でないがしかし泥塗れである fact8: もし仮にこのマネーは執念深いなら「このクリスマス・イブは鳥達だ」ということは事実である fact9: その建設工事が返還請求出来るならばあの手形行為は同時だ fact10: このマネーは内臓感覚でないとしたら「「このクリスマス・イブは執念深いかまたは鳥達でないかもしくは両方ともである」ということは事実と異なる」ということは真実だ fact11: その建設工事は返還請求出来る fact12: このクリスマス・イブは香ばしいけれど汚くない fact13: もしなにかは同時であるとすれば「それは内臓感覚であるがしかし無常感覚であるということはない」ということは確かでない fact14: この孝悌は鳥達である ; $hypothesis$ = もしもこのクリスマス・イブが泥塗れだとすればこのマネーは鳥達である ; $proof$ = 
fact2 & fact12 -> int1: このクリスマス・イブは執念深くない; void -> assump1: 以下のように仮定する。このクリスマス・イブは泥塗れである; int1 & assump1 -> int2: このクリスマス・イブは執念深くないがしかしそれは泥塗れだ; int2 & fact3 -> int3: このマネーは鳥達だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「このクリスマス・イブは香ばしい」ということは正しい
事実2: もしもこのクリスマス・イブは香ばしいけど汚いということはないとしたら執念深くない
事実3: このクリスマス・イブが執念深くない一方で泥塗れならばあのマネーは鳥達だ
事実4: なにがしかの物は泥塗れでないならば香ばしかないがしかし疲れ始める
事実5: このクリスマス・イブは伝道者でないがそれは行列する
事実6: 仮にこのクリスマス・イブが鳥達だとしたらこのマネーは香ばしい
事実7: このクリスマス・イブは拘束条件でないがしかし泥塗れである
事実8: もし仮にこのマネーは執念深いなら「このクリスマス・イブは鳥達だ」ということは事実である
事実9: その建設工事が返還請求出来るならばあの手形行為は同時だ
事実10: このマネーは内臓感覚でないとしたら「「このクリスマス・イブは執念深いかまたは鳥達でないかもしくは両方ともである」ということは事実と異なる」ということは真実だ
事実11: その建設工事は返還請求出来る
事実12: このクリスマス・イブは香ばしいけれど汚くない
事実13: もしなにかは同時であるとすれば「それは内臓感覚であるがしかし無常感覚であるということはない」ということは確かでない
事実14: この孝悌は鳥達である

仮説: もしもこのクリスマス・イブが泥塗れだとすればこのマネーは鳥達である
1. 事実2と事実12から、推論1: "このクリスマス・イブは執念深くない"が導かれる
2. 仮定1: 以下のように仮定する。このクリスマス・イブは泥塗れである
3. 推論1と仮定1から、推論2: "このクリスマス・イブは執念深くないがしかしそれは泥塗れだ"が導かれる
4. 推論2と事実3から、推論3: "このマネーは鳥達だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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