あのディスカスは得易いしそれに反論出来る
fact1: あの伐期はバランス良いということはない fact2: その四位が側弯だとしたら進み易い fact3: 伝え難くないか発生し難いものは伝え難くない fact4: その四位は側弯だ fact5: 仮に「あのディスカスは縫合するがバランス良くない」ということは正しいということはないとすれば「それは縫合しない」ということは誤りでない fact6: もしもあの関連記事は得易くないとしたら「あのディスカスは得易いしさらに反論出来る」ということは事実と異なる fact7: あのディスカスは百七十人である fact8: 「あの伐期は縫合しないしそれにバランス良くない」ということは成り立つ fact9: もしあのディスカスは百七十人だとすると「それは縫合するしバランス良くない」ということは間違いだ fact10: もし仮にその四位が発生し難いし更に進み易いならあの関連記事は得易くない fact11: あの伐期は得易くない fact12: もし仮に「発生し難くない」物があるならあの伐期は縫合する
void -> assump1: 以下のように仮定する。その四位は発生し難くない; assump1 -> int1: 発生し難くない物はある; int1 & fact12 -> int2: あの伐期は縫合する; fact8 -> int3: あの伐期は縫合しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その四位は発生し難い; fact4 & fact2 -> int6: その四位は進み易い; int5 & int6 -> int7: その四位は発生し難いし加えてそれは進み易い; int7 & fact10 -> int8: あの関連記事は得易くない; int8 & fact6 -> hypothesis;
「伝え難くない」物はある
fact13 -> int9: もし仮にあの伐期が伝え難くないかあるいはそれが発生し難いとすると伝え難くない;
$facts$ = fact1: あの伐期はバランス良いということはない fact2: その四位が側弯だとしたら進み易い fact3: 伝え難くないか発生し難いものは伝え難くない fact4: その四位は側弯だ fact5: 仮に「あのディスカスは縫合するがバランス良くない」ということは正しいということはないとすれば「それは縫合しない」ということは誤りでない fact6: もしもあの関連記事は得易くないとしたら「あのディスカスは得易いしさらに反論出来る」ということは事実と異なる fact7: あのディスカスは百七十人である fact8: 「あの伐期は縫合しないしそれにバランス良くない」ということは成り立つ fact9: もしあのディスカスは百七十人だとすると「それは縫合するしバランス良くない」ということは間違いだ fact10: もし仮にその四位が発生し難いし更に進み易いならあの関連記事は得易くない fact11: あの伐期は得易くない fact12: もし仮に「発生し難くない」物があるならあの伐期は縫合する ; $hypothesis$ = あのディスカスは得易いしそれに反論出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その四位は発生し難くない; assump1 -> int1: 発生し難くない物はある; int1 & fact12 -> int2: あの伐期は縫合する; fact8 -> int3: あの伐期は縫合しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その四位は発生し難い; fact4 & fact2 -> int6: その四位は進み易い; int5 & int6 -> int7: その四位は発生し難いし加えてそれは進み易い; int7 & fact10 -> int8: あの関連記事は得易くない; int8 & fact6 -> hypothesis; __DISPROVED__
事実1: あの伐期はバランス良いということはない
事実2: その四位が側弯だとしたら進み易い
事実3: 伝え難くないか発生し難いものは伝え難くない
事実4: その四位は側弯だ
事実5: 仮に「あのディスカスは縫合するがバランス良くない」ということは正しいということはないとすれば「それは縫合しない」ということは誤りでない
事実6: もしもあの関連記事は得易くないとしたら「あのディスカスは得易いしさらに反論出来る」ということは事実と異なる
事実7: あのディスカスは百七十人である
事実8: 「あの伐期は縫合しないしそれにバランス良くない」ということは成り立つ
事実9: もしあのディスカスは百七十人だとすると「それは縫合するしバランス良くない」ということは間違いだ
事実10: もし仮にその四位が発生し難いし更に進み易いならあの関連記事は得易くない
事実11: あの伐期は得易くない
事実12: もし仮に「発生し難くない」物があるならあの伐期は縫合する

仮説: あのディスカスは得易いしそれに反論出来る
1. 仮定1: 以下のように仮定する。その四位は発生し難くない
2. 仮定1から、推論1: "発生し難くない物はある"が導かれる
3. 推論1と事実12から、推論2: "あの伐期は縫合する"が導かれる
4. 事実8から、推論3: "あの伐期は縫合しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その四位は発生し難い"が導かれる
7. 事実4と事実2から、推論6: "その四位は進み易い"が導かれる
8. 推論5と推論6から、推論7: "その四位は発生し難いし加えてそれは進み易い"が導かれる
9. 推論7と事実10から、推論8: "あの関連記事は得易くない"が導かれる
10. 推論8と事実6から、仮説が否定される

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