「仮にあの貸し出し金が口ずさむとしたらその電機長は具申する」ということは偽である
fact1: 仮にあの貸し出し金が具申しないとすればその御夢は口ずさむしおまけにそれは旨い fact2: その電機長は力学試験だ fact3: 「あの貸し出し金は旨い」ということは嘘でない fact4: 仮になんらかの物は非難がましいとすると「それは機能障害でないしさらに具申する」ということは間違いだ fact5: もし仮にあの貸し出し金が具申すればその電機長は口ずさむ fact6: もし仮にその御夢が旨いとしたらその電機長は具申する fact7: 「もしもその電機長が非難がましくらないけどそれが共同制作であるならばあの貸し出し金は非難がましい」ということは嘘でない fact8: もし仮に参加し易いものはヒアリング等でないならば「考え深い」ということは本当だ fact9: もし仮にこの土・日・祝日が塗り易いとすればあの電機長が非難はましくらないけれど共同制作だ fact10: もしその売色は考え深いならば「この土・日・祝日は塗り易い」ということは本当である fact11: もし「なにがしかの物は機能障害でない一方で具申する」ということは成り立つということはないとすればそれは具申するということはない fact12: あの貸し出し金は口ずさむとすれば「その御夢は旨い」ということは確かである
void -> assump1: 以下のように仮定する。あの貸し出し金は口ずさむ; fact12 & assump1 -> int1: その御夢は旨い; int1 & fact6 -> int2: その電機長は具申する; [assump1] & int2 -> hypothesis;
その御夢は口ずさむ
fact17 -> int3: もし仮に「あの貸し出し金は機能障害でない一方で具申する」ということは間違いだとすると具申しない; fact13 -> int4: あの貸し出し金は非難がましいなら「機能障害でないしその上具申する」ということは真実でない; fact15 -> int5: 仮にその売色は参加し易いがヒアリング等でないとすればそれは考え深い;
$facts$ = fact1: 仮にあの貸し出し金が具申しないとすればその御夢は口ずさむしおまけにそれは旨い fact2: その電機長は力学試験だ fact3: 「あの貸し出し金は旨い」ということは嘘でない fact4: 仮になんらかの物は非難がましいとすると「それは機能障害でないしさらに具申する」ということは間違いだ fact5: もし仮にあの貸し出し金が具申すればその電機長は口ずさむ fact6: もし仮にその御夢が旨いとしたらその電機長は具申する fact7: 「もしもその電機長が非難がましくらないけどそれが共同制作であるならばあの貸し出し金は非難がましい」ということは嘘でない fact8: もし仮に参加し易いものはヒアリング等でないならば「考え深い」ということは本当だ fact9: もし仮にこの土・日・祝日が塗り易いとすればあの電機長が非難はましくらないけれど共同制作だ fact10: もしその売色は考え深いならば「この土・日・祝日は塗り易い」ということは本当である fact11: もし「なにがしかの物は機能障害でない一方で具申する」ということは成り立つということはないとすればそれは具申するということはない fact12: あの貸し出し金は口ずさむとすれば「その御夢は旨い」ということは確かである ; $hypothesis$ = 「仮にあの貸し出し金が口ずさむとしたらその電機長は具申する」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの貸し出し金は口ずさむ; fact12 & assump1 -> int1: その御夢は旨い; int1 & fact6 -> int2: その電機長は具申する; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの貸し出し金が具申しないとすればその御夢は口ずさむしおまけにそれは旨い
事実2: その電機長は力学試験だ
事実3: 「あの貸し出し金は旨い」ということは嘘でない
事実4: 仮になんらかの物は非難がましいとすると「それは機能障害でないしさらに具申する」ということは間違いだ
事実5: もし仮にあの貸し出し金が具申すればその電機長は口ずさむ
事実6: もし仮にその御夢が旨いとしたらその電機長は具申する
事実7: 「もしもその電機長が非難がましくらないけどそれが共同制作であるならばあの貸し出し金は非難がましい」ということは嘘でない
事実8: もし仮に参加し易いものはヒアリング等でないならば「考え深い」ということは本当だ
事実9: もし仮にこの土・日・祝日が塗り易いとすればあの電機長が非難はましくらないけれど共同制作だ
事実10: もしその売色は考え深いならば「この土・日・祝日は塗り易い」ということは本当である
事実11: もし「なにがしかの物は機能障害でない一方で具申する」ということは成り立つということはないとすればそれは具申するということはない
事実12: あの貸し出し金は口ずさむとすれば「その御夢は旨い」ということは確かである

仮説: 「仮にあの貸し出し金が口ずさむとしたらその電機長は具申する」ということは偽である
1. 仮定1: 以下のように仮定する。あの貸し出し金は口ずさむ
2. 事実12と仮定1から、推論1: "その御夢は旨い"が導かれる
3. 推論1と事実6から、推論2: "その電機長は具申する"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。