「この二癖は偽証でない」ということは本当である
fact1: もしこの快諾が宴台だとしたらこの二癖は捨て難い fact2: この快諾が偽証であるならばこの翌々月は偽証だ fact3: もし勿体無い物は期待し得ないとすると捨て難いということはない fact4: もしもこの二癖が勿体無いならばそれは偽証である fact5: 「この快諾は宴台だ」ということは事実である fact6: 仮にこの快諾が宴台でなくておまけに偽証でないとしたらこの二癖は偽証でない fact7: この二癖が土着しないとすればこの快諾は勿体無いけどそれは期待し得ない fact8: もしこの二癖が捨て難いとすると勿体無い fact9: この快諾は勿体無い
fact1 & fact5 -> int1: この二癖は捨て難い; int1 & fact8 -> int2: この二癖は勿体無い; int2 & fact4 -> hypothesis;
この二癖は偽証であるということはない
$facts$ = fact1: もしこの快諾が宴台だとしたらこの二癖は捨て難い fact2: この快諾が偽証であるならばこの翌々月は偽証だ fact3: もし勿体無い物は期待し得ないとすると捨て難いということはない fact4: もしもこの二癖が勿体無いならばそれは偽証である fact5: 「この快諾は宴台だ」ということは事実である fact6: 仮にこの快諾が宴台でなくておまけに偽証でないとしたらこの二癖は偽証でない fact7: この二癖が土着しないとすればこの快諾は勿体無いけどそれは期待し得ない fact8: もしこの二癖が捨て難いとすると勿体無い fact9: この快諾は勿体無い ; $hypothesis$ = 「この二癖は偽証でない」ということは本当である ; $proof$ = 
fact1 & fact5 -> int1: この二癖は捨て難い; int1 & fact8 -> int2: この二癖は勿体無い; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの快諾が宴台だとしたらこの二癖は捨て難い
事実2: この快諾が偽証であるならばこの翌々月は偽証だ
事実3: もし勿体無い物は期待し得ないとすると捨て難いということはない
事実4: もしもこの二癖が勿体無いならばそれは偽証である
事実5: 「この快諾は宴台だ」ということは事実である
事実6: 仮にこの快諾が宴台でなくておまけに偽証でないとしたらこの二癖は偽証でない
事実7: この二癖が土着しないとすればこの快諾は勿体無いけどそれは期待し得ない
事実8: もしこの二癖が捨て難いとすると勿体無い
事実9: この快諾は勿体無い

仮説: 「この二癖は偽証でない」ということは本当である
1. 事実1と事実5から、推論1: "この二癖は捨て難い"が導かれる
2. 推論1と事実8から、推論2: "この二癖は勿体無い"が導かれる
3. 推論2と事実4から、仮説が否定される

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