「「もし仮に言い難いし面倒臭いとすると尤もらしくない」ものはある」ということは事実と異なる
fact1: 仮に血中は靖雄機であるならばそれは皇民化でない fact2: 仮にあの法律改正が尤もらしいしそれは柴田法則であるなら思しいということはない fact3: もしもその本ソフトが利害関心だしまたそれが共通すれば面倒臭い fact4: もし仮にあの幽遠は言い難いしおまけに面倒臭いなら「それは尤もらしい」ということは成り立つ fact5: もし仮に女色が起き難いなら見付け易い fact6: 仮になにかは言い難いしおまけに面倒臭いならば尤もらしくない
fact6 -> int1: 仮にあの幽遠は言い難くて面倒臭いならばそれは尤もらしくない; int1 -> hypothesis;
$facts$ = fact1: 仮に血中は靖雄機であるならばそれは皇民化でない fact2: 仮にあの法律改正が尤もらしいしそれは柴田法則であるなら思しいということはない fact3: もしもその本ソフトが利害関心だしまたそれが共通すれば面倒臭い fact4: もし仮にあの幽遠は言い難いしおまけに面倒臭いなら「それは尤もらしい」ということは成り立つ fact5: もし仮に女色が起き難いなら見付け易い fact6: 仮になにかは言い難いしおまけに面倒臭いならば尤もらしくない ; $hypothesis$ = 「「もし仮に言い難いし面倒臭いとすると尤もらしくない」ものはある」ということは事実と異なる ; $proof$ = 
fact6 -> int1: 仮にあの幽遠は言い難くて面倒臭いならばそれは尤もらしくない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に血中は靖雄機であるならばそれは皇民化でない
事実2: 仮にあの法律改正が尤もらしいしそれは柴田法則であるなら思しいということはない
事実3: もしもその本ソフトが利害関心だしまたそれが共通すれば面倒臭い
事実4: もし仮にあの幽遠は言い難いしおまけに面倒臭いなら「それは尤もらしい」ということは成り立つ
事実5: もし仮に女色が起き難いなら見付け易い
事実6: 仮になにかは言い難いしおまけに面倒臭いならば尤もらしくない

仮説: 「「もし仮に言い難いし面倒臭いとすると尤もらしくない」ものはある」ということは事実と異なる
1. 事実6から、推論1: "仮にあの幽遠は言い難くて面倒臭いならばそれは尤もらしくない"が導かれる
2. 推論1から、仮説が否定される

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