あのアマチュア球界は厳い
fact1: もしもなにがしかの物が溢れ返るとしたらそれは作業性だ fact2: もし仮にその商品群Ｄが溢れ返らない一方でそれが作業性であるとするとあの十ＢＡＳＥ‐Ｔは厳い fact3: あのアマチュア球界は溢れ返る fact4: もしあの十ＢＡＳＥ‐Ｔが厳いとすればあのアマチュア球界は厳い fact5: あのアマチュア球界は軟らかいし気高い fact6: もしもこの直行便が手厳しいしそれが小煩いならその商品群Ｄは手厳しくない fact7: 仮に「なにかは手厳しくない」ということは成り立つとすればそれは溢れ返るということはないがしかし作業性である fact8: あのアマチュア球界が作業性だしかつ厳いならばあの十ＢＡＳＥ‐Ｔは手厳しくない fact9: あの十ＢＡＳＥ‐Ｔは厳くない fact10: あの十ＢＡＳＥ‐Ｔは手厳しい
fact1 -> int1: 仮にあのアマチュア球界は溢れ返るとしたら「それは作業性である」ということは本当である; int1 & fact3 -> int2: あのアマチュア球界は作業性である; void -> assump1: 以下のように仮定する。あのアマチュア球界は厳い; int2 & assump1 -> int3: あのアマチュア球界は作業性であるし厳い; int3 & fact8 -> int4: あの十ＢＡＳＥ‐Ｔは手厳しくない; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのアマチュア球界は厳い
fact14 -> int6: もしその商品群Ｄが手厳しいということはないなら溢れ返らなくてまた作業性である;
$facts$ = fact1: もしもなにがしかの物が溢れ返るとしたらそれは作業性だ fact2: もし仮にその商品群Ｄが溢れ返らない一方でそれが作業性であるとするとあの十ＢＡＳＥ‐Ｔは厳い fact3: あのアマチュア球界は溢れ返る fact4: もしあの十ＢＡＳＥ‐Ｔが厳いとすればあのアマチュア球界は厳い fact5: あのアマチュア球界は軟らかいし気高い fact6: もしもこの直行便が手厳しいしそれが小煩いならその商品群Ｄは手厳しくない fact7: 仮に「なにかは手厳しくない」ということは成り立つとすればそれは溢れ返るということはないがしかし作業性である fact8: あのアマチュア球界が作業性だしかつ厳いならばあの十ＢＡＳＥ‐Ｔは手厳しくない fact9: あの十ＢＡＳＥ‐Ｔは厳くない fact10: あの十ＢＡＳＥ‐Ｔは手厳しい ; $hypothesis$ = あのアマチュア球界は厳い ; $proof$ = 
fact1 -> int1: 仮にあのアマチュア球界は溢れ返るとしたら「それは作業性である」ということは本当である; int1 & fact3 -> int2: あのアマチュア球界は作業性である; void -> assump1: 以下のように仮定する。あのアマチュア球界は厳い; int2 & assump1 -> int3: あのアマチュア球界は作業性であるし厳い; int3 & fact8 -> int4: あの十ＢＡＳＥ‐Ｔは手厳しくない; int4 & fact10 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が溢れ返るとしたらそれは作業性だ
事実2: もし仮にその商品群Ｄが溢れ返らない一方でそれが作業性であるとするとあの十ＢＡＳＥ‐Ｔは厳い
事実3: あのアマチュア球界は溢れ返る
事実4: もしあの十ＢＡＳＥ‐Ｔが厳いとすればあのアマチュア球界は厳い
事実5: あのアマチュア球界は軟らかいし気高い
事実6: もしもこの直行便が手厳しいしそれが小煩いならその商品群Ｄは手厳しくない
事実7: 仮に「なにかは手厳しくない」ということは成り立つとすればそれは溢れ返るということはないがしかし作業性である
事実8: あのアマチュア球界が作業性だしかつ厳いならばあの十ＢＡＳＥ‐Ｔは手厳しくない
事実9: あの十ＢＡＳＥ‐Ｔは厳くない
事実10: あの十ＢＡＳＥ‐Ｔは手厳しい

仮説: あのアマチュア球界は厳い
1. 事実1から、推論1: "仮にあのアマチュア球界は溢れ返るとしたら「それは作業性である」ということは本当である"が導かれる
2. 推論1と事実3から、推論2: "あのアマチュア球界は作業性である"が導かれる
3. 仮定1: 以下のように仮定する。あのアマチュア球界は厳い
4. 推論2と仮定1から、推論3: "あのアマチュア球界は作業性であるし厳い"が導かれる
5. 推論3と事実8から、推論4: "あの十ＢＡＳＥ‐Ｔは手厳しくない"が導かれる
6. 推論4と事実10から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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