「この総合化は大人しないけど生み難い」ということは成り立たない
fact1: もしも「訛るということはない」物があるとすればこの総合化は大人しということはないけれど生み難い fact2: 「生み難いということはない」ものはある fact3: その珠江δは冴えないがそれは訛る fact4: 仮にある物が訛るとすればそれは生み難くない fact5: もしもこの総合化が出力軸でないとしたらそれは生み難くないしおまけに苛々し易い fact6: この総合化は名演奏でない fact7: もしもとある物が大人しとすれば訛るしそれは障壁だということはない fact8: もしも生み難くないものが苛々し易いならそれは大人し fact9: なにかは訛らない
fact9 & fact1 -> hypothesis;
fact9 & fact1 -> hypothesis;
「障壁であるということはない」物はある
fact12 -> int1: 「この総合化は大人し」ということは本当であるとすれば訛るけれど障壁でない; fact10 -> int2: 「もしこの総合化が生み難くないがそれが苛々し易いならばこの総合化は大人し」ということは成り立つ;
$facts$ = fact1: もしも「訛るということはない」物があるとすればこの総合化は大人しということはないけれど生み難い fact2: 「生み難いということはない」ものはある fact3: その珠江δは冴えないがそれは訛る fact4: 仮にある物が訛るとすればそれは生み難くない fact5: もしもこの総合化が出力軸でないとしたらそれは生み難くないしおまけに苛々し易い fact6: この総合化は名演奏でない fact7: もしもとある物が大人しとすれば訛るしそれは障壁だということはない fact8: もしも生み難くないものが苛々し易いならそれは大人し fact9: なにかは訛らない ; $hypothesis$ = 「この総合化は大人しないけど生み難い」ということは成り立たない ; $proof$ = 
fact9 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「訛るということはない」物があるとすればこの総合化は大人しということはないけれど生み難い
事実2: 「生み難いということはない」ものはある
事実3: その珠江δは冴えないがそれは訛る
事実4: 仮にある物が訛るとすればそれは生み難くない
事実5: もしもこの総合化が出力軸でないとしたらそれは生み難くないしおまけに苛々し易い
事実6: この総合化は名演奏でない
事実7: もしもとある物が大人しとすれば訛るしそれは障壁だということはない
事実8: もしも生み難くないものが苛々し易いならそれは大人し
事実9: なにかは訛らない

仮説: 「この総合化は大人しないけど生み難い」ということは成り立たない
1. 事実9と事実1から、仮説が否定される

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