「「仮にこの指示等が取れ易いけど浮上するということはないとしたらこの支払い時期は傷害しない」ということは真実である」ということは事実と異なる
fact1: この指示等が整理し直すということはないとしたらこの支払い時期は傷害しない fact2: 仮にこの支払い時期が整理し直すがしかしそれが傷害しないとすればこの指示等は取れ易くない fact3: この指示等は相互補完性であるがしかし再投資でない fact4: この支払い時期は聚楽台だ一方で整理し直さない fact5: この指示等は取れ易い fact6: この支払い時期は取れ易くない fact7: 仮にこの指示等が齎し続ける一方でそれは無年金者でないとしたら単品でない fact8: 仮にこの指示等が取れ易いし浮上するならこの支払い時期は傷害しない fact9: もし何らかの物が聚楽台であるが惨たらしくないならばそれは減り込むということはない fact10: もしなにかは取れ易いし浮上するとしたらそれは整理し直さない fact11: 仮に「この指示等は浮上する一方でそれは傷害するということはない」ということは成り立つならこの支払い時期は取れ易くない fact12: もしもこの指示等が取れ易くてさらにそれが浮上するなら整理し直さない fact13: 「もしもこの支払い時期が整理し直さないとすればこの指示等は傷害しない」ということは成り立つ fact14: この指示等は浮かれる一方でそれは掻き易くない fact15: もしも取れ易いものが浮上しないなら整理し直さない fact16: この支払い時期は引き絞るけどそれは取れ易くない fact17: もしこの指示等が取れ易いが浮上しないならばこの支払い時期は傷害する
fact15 -> int1: もし仮にこの指示等が取れ易いけどそれが浮上しないとするとそれは整理し直さない; void -> assump1: 以下のように仮定する。この指示等は取れ易いけど浮上しない; int1 & assump1 -> int2: この指示等は整理し直さない; int2 & fact1 -> int3: この支払い時期は傷害しない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この指示等が整理し直すということはないとしたらこの支払い時期は傷害しない fact2: 仮にこの支払い時期が整理し直すがしかしそれが傷害しないとすればこの指示等は取れ易くない fact3: この指示等は相互補完性であるがしかし再投資でない fact4: この支払い時期は聚楽台だ一方で整理し直さない fact5: この指示等は取れ易い fact6: この支払い時期は取れ易くない fact7: 仮にこの指示等が齎し続ける一方でそれは無年金者でないとしたら単品でない fact8: 仮にこの指示等が取れ易いし浮上するならこの支払い時期は傷害しない fact9: もし何らかの物が聚楽台であるが惨たらしくないならばそれは減り込むということはない fact10: もしなにかは取れ易いし浮上するとしたらそれは整理し直さない fact11: 仮に「この指示等は浮上する一方でそれは傷害するということはない」ということは成り立つならこの支払い時期は取れ易くない fact12: もしもこの指示等が取れ易くてさらにそれが浮上するなら整理し直さない fact13: 「もしもこの支払い時期が整理し直さないとすればこの指示等は傷害しない」ということは成り立つ fact14: この指示等は浮かれる一方でそれは掻き易くない fact15: もしも取れ易いものが浮上しないなら整理し直さない fact16: この支払い時期は引き絞るけどそれは取れ易くない fact17: もしこの指示等が取れ易いが浮上しないならばこの支払い時期は傷害する ; $hypothesis$ = 「「仮にこの指示等が取れ易いけど浮上するということはないとしたらこの支払い時期は傷害しない」ということは真実である」ということは事実と異なる ; $proof$ = 
fact15 -> int1: もし仮にこの指示等が取れ易いけどそれが浮上しないとするとそれは整理し直さない; void -> assump1: 以下のように仮定する。この指示等は取れ易いけど浮上しない; int1 & assump1 -> int2: この指示等は整理し直さない; int2 & fact1 -> int3: この支払い時期は傷害しない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この指示等が整理し直すということはないとしたらこの支払い時期は傷害しない
事実2: 仮にこの支払い時期が整理し直すがしかしそれが傷害しないとすればこの指示等は取れ易くない
事実3: この指示等は相互補完性であるがしかし再投資でない
事実4: この支払い時期は聚楽台だ一方で整理し直さない
事実5: この指示等は取れ易い
事実6: この支払い時期は取れ易くない
事実7: 仮にこの指示等が齎し続ける一方でそれは無年金者でないとしたら単品でない
事実8: 仮にこの指示等が取れ易いし浮上するならこの支払い時期は傷害しない
事実9: もし何らかの物が聚楽台であるが惨たらしくないならばそれは減り込むということはない
事実10: もしなにかは取れ易いし浮上するとしたらそれは整理し直さない
事実11: 仮に「この指示等は浮上する一方でそれは傷害するということはない」ということは成り立つならこの支払い時期は取れ易くない
事実12: もしもこの指示等が取れ易くてさらにそれが浮上するなら整理し直さない
事実13: 「もしもこの支払い時期が整理し直さないとすればこの指示等は傷害しない」ということは成り立つ
事実14: この指示等は浮かれる一方でそれは掻き易くない
事実15: もしも取れ易いものが浮上しないなら整理し直さない
事実16: この支払い時期は引き絞るけどそれは取れ易くない
事実17: もしこの指示等が取れ易いが浮上しないならばこの支払い時期は傷害する

仮説: 「「仮にこの指示等が取れ易いけど浮上するということはないとしたらこの支払い時期は傷害しない」ということは真実である」ということは事実と異なる
1. 事実15から、推論1: "もし仮にこの指示等が取れ易いけどそれが浮上しないとするとそれは整理し直さない"が導かれる
2. 仮定1: 以下のように仮定する。この指示等は取れ易いけど浮上しない
3. 推論1と仮定1から、推論2: "この指示等は整理し直さない"が導かれる
4. 推論2と事実1から、推論3: "この支払い時期は傷害しない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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