「「仮に愛媛産で達成し易いとすると自分らしくない」ものはある」ということは成り立たない
fact1: 仮にその二．一項が御見えに成るししかも生成し易いならば情け深くない fact2: 愛媛産が達成し易いならばそれは自分らしくない
fact2 -> int1: もしもあの改正後が愛媛産であるしそれが達成し易いならばそれは自分らしくない; int1 -> hypothesis;
fact2 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮にその二．一項が御見えに成るししかも生成し易いならば情け深くない fact2: 愛媛産が達成し易いならばそれは自分らしくない ; $hypothesis$ = 「「仮に愛媛産で達成し易いとすると自分らしくない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしもあの改正後が愛媛産であるしそれが達成し易いならばそれは自分らしくない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にその二．一項が御見えに成るししかも生成し易いならば情け深くない
事実2: 愛媛産が達成し易いならばそれは自分らしくない

仮説: 「「仮に愛媛産で達成し易いとすると自分らしくない」ものはある」ということは成り立たない
1. 事実2から、推論1: "もしもあの改正後が愛媛産であるしそれが達成し易いならばそれは自分らしくない"が導かれる
2. 推論1から、仮説が否定される

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