その春闘は成り易いということはない
fact1: もし仮に「とあるものは我慢し切れるけれど均衡総生産量でない」ということは正しいならその春闘は研ぐということはない fact2: 評価認証が荒っぽいとすればそれは成り易いということはない fact3: その屋外階段は成り易い fact4: 「その春闘は評価認証である」ということは事実である fact5: その春闘は丸薬である fact6: あの大規模灌漑は我慢し切れる一方で均衡総生産量でない fact7: もしこの後見座が本交流会議ならば高し fact8: もしその春闘が尤もらしいとしたらそれは成り易い fact9: なにがしかの物が視覚的イメージであるということはないとすれば評価認証であるし加えてそれは荒っぽい fact10: 荒っぽくない物は評価認証であるし成り易い fact11: もし仮に「その春闘は評価認証である」ということは成り立つとするとそれは成り易い fact12: あの地蔵は評価認証だ
fact11 & fact4 -> hypothesis;
fact11 & fact4 -> hypothesis;
そのアラビア数字は評価認証だ
fact13 -> int1: もし仮にそのアラビア数字が荒っぽくないとすると評価認証であるししかも成り易い; fact14 -> int2: 「我慢し切れるけど均衡総生産量でない」物はある; int2 & fact15 -> int3: その春闘は研ぐということはない; int3 -> int4: その春闘は視覚的イメージでないかもしくは研ぐということはないかあるいはどちらもだ; int4 -> int5: 「視覚的イメージでないかもしくは研がないかもしくは両方ともである」ものはある;
$facts$ = fact1: もし仮に「とあるものは我慢し切れるけれど均衡総生産量でない」ということは正しいならその春闘は研ぐということはない fact2: 評価認証が荒っぽいとすればそれは成り易いということはない fact3: その屋外階段は成り易い fact4: 「その春闘は評価認証である」ということは事実である fact5: その春闘は丸薬である fact6: あの大規模灌漑は我慢し切れる一方で均衡総生産量でない fact7: もしこの後見座が本交流会議ならば高し fact8: もしその春闘が尤もらしいとしたらそれは成り易い fact9: なにがしかの物が視覚的イメージであるということはないとすれば評価認証であるし加えてそれは荒っぽい fact10: 荒っぽくない物は評価認証であるし成り易い fact11: もし仮に「その春闘は評価認証である」ということは成り立つとするとそれは成り易い fact12: あの地蔵は評価認証だ ; $hypothesis$ = その春闘は成り易いということはない ; $proof$ = 
fact11 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「とあるものは我慢し切れるけれど均衡総生産量でない」ということは正しいならその春闘は研ぐということはない
事実2: 評価認証が荒っぽいとすればそれは成り易いということはない
事実3: その屋外階段は成り易い
事実4: 「その春闘は評価認証である」ということは事実である
事実5: その春闘は丸薬である
事実6: あの大規模灌漑は我慢し切れる一方で均衡総生産量でない
事実7: もしこの後見座が本交流会議ならば高し
事実8: もしその春闘が尤もらしいとしたらそれは成り易い
事実9: なにがしかの物が視覚的イメージであるということはないとすれば評価認証であるし加えてそれは荒っぽい
事実10: 荒っぽくない物は評価認証であるし成り易い
事実11: もし仮に「その春闘は評価認証である」ということは成り立つとするとそれは成り易い
事実12: あの地蔵は評価認証だ

仮説: その春闘は成り易いということはない
1. 事実11と事実4から、仮説が否定される

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