あの著作物は実行し易いけど買い掛け金でない
fact1: 「もしもその健康リスクは実行し易くないなら「あの著作物は実行し易くて加えて買い掛け金である」ということは嘘である」ということは本当だ fact2: もし仮にその健康リスクが分かり難くないけれど余所余所しいならばそれは野太い fact3: ある物が実行し易くないとすれば疲れ難くなくておまけに善習慣だ fact4: 仮に「とある物は実行し易いけどそれは痛み易くない」ということは成り立つならそれは野太くない fact5: 仮にその健康リスクは分かり難いし余所余所しいならば野太い fact6: そのマウンテンゴリラは痛み易くない fact7: その健康リスクは痛み易くない fact8: 仮にあるものがばあかしいということはないならばそれは分かり難いししかもそれは余所余所しい fact9: もしその健康リスクが分かり難いならばあの著作物は痛み易くないしかつ野太くない fact10: その健康リスクは分かり難くないがしかし余所余所しい fact11: もし仮にその健康リスクは実行し易くないとしたら「あの著作物は実行し易いけど買い掛け金であるということはない」ということは正しくない fact12: 「あの著作物は実行し易くて買い掛け金だ」ということは事実でない
void -> assump1: 以下のように仮定する。その健康リスクは実行し易い; assump1 & fact7 -> int1: その健康リスクは実行し易いけど痛み易くない; fact4 -> int2: もしその健康リスクが実行し易いけどそれは痛み易くないならば「それは野太いということはない」ということは事実と異ならない; int1 & int2 -> int3: 「その健康リスクは野太くない」ということは成り立つ; fact2 & fact10 -> int4: その健康リスクは野太い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その健康リスクは実行し易いということはない; int6 & fact11 -> hypothesis;
あの著作物は実行し易いが買い掛け金でない
fact14 -> int7: もしもその健康リスクがばあかしいということはないとすればそれは分かり難いしそれは余所余所しい;
$facts$ = fact1: 「もしもその健康リスクは実行し易くないなら「あの著作物は実行し易くて加えて買い掛け金である」ということは嘘である」ということは本当だ fact2: もし仮にその健康リスクが分かり難くないけれど余所余所しいならばそれは野太い fact3: ある物が実行し易くないとすれば疲れ難くなくておまけに善習慣だ fact4: 仮に「とある物は実行し易いけどそれは痛み易くない」ということは成り立つならそれは野太くない fact5: 仮にその健康リスクは分かり難いし余所余所しいならば野太い fact6: そのマウンテンゴリラは痛み易くない fact7: その健康リスクは痛み易くない fact8: 仮にあるものがばあかしいということはないならばそれは分かり難いししかもそれは余所余所しい fact9: もしその健康リスクが分かり難いならばあの著作物は痛み易くないしかつ野太くない fact10: その健康リスクは分かり難くないがしかし余所余所しい fact11: もし仮にその健康リスクは実行し易くないとしたら「あの著作物は実行し易いけど買い掛け金であるということはない」ということは正しくない fact12: 「あの著作物は実行し易くて買い掛け金だ」ということは事実でない ; $hypothesis$ = あの著作物は実行し易いけど買い掛け金でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その健康リスクは実行し易い; assump1 & fact7 -> int1: その健康リスクは実行し易いけど痛み易くない; fact4 -> int2: もしその健康リスクが実行し易いけどそれは痛み易くないならば「それは野太いということはない」ということは事実と異ならない; int1 & int2 -> int3: 「その健康リスクは野太くない」ということは成り立つ; fact2 & fact10 -> int4: その健康リスクは野太い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その健康リスクは実行し易いということはない; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: 「もしもその健康リスクは実行し易くないなら「あの著作物は実行し易くて加えて買い掛け金である」ということは嘘である」ということは本当だ
事実2: もし仮にその健康リスクが分かり難くないけれど余所余所しいならばそれは野太い
事実3: ある物が実行し易くないとすれば疲れ難くなくておまけに善習慣だ
事実4: 仮に「とある物は実行し易いけどそれは痛み易くない」ということは成り立つならそれは野太くない
事実5: 仮にその健康リスクは分かり難いし余所余所しいならば野太い
事実6: そのマウンテンゴリラは痛み易くない
事実7: その健康リスクは痛み易くない
事実8: 仮にあるものがばあかしいということはないならばそれは分かり難いししかもそれは余所余所しい
事実9: もしその健康リスクが分かり難いならばあの著作物は痛み易くないしかつ野太くない
事実10: その健康リスクは分かり難くないがしかし余所余所しい
事実11: もし仮にその健康リスクは実行し易くないとしたら「あの著作物は実行し易いけど買い掛け金であるということはない」ということは正しくない
事実12: 「あの著作物は実行し易くて買い掛け金だ」ということは事実でない

仮説: あの著作物は実行し易いけど買い掛け金でない
1. 仮定1: 以下のように仮定する。その健康リスクは実行し易い
2. 仮定1と事実7から、推論1: "その健康リスクは実行し易いけど痛み易くない"が導かれる
3. 事実4から、推論2: "もしその健康リスクが実行し易いけどそれは痛み易くないならば「それは野太いということはない」ということは事実と異ならない"が導かれる
4. 推論1と推論2から、推論3: "「その健康リスクは野太くない」ということは成り立つ"が導かれる
5. 事実2と事実10から、推論4: "その健康リスクは野太い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その健康リスクは実行し易いということはない"が導かれる
8. 推論6と事実11から、仮説が否定される

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