「もしも「増え難い一方で過らない」ということは成り立たないとするとＧＩである」物はある
fact1: 「仮に増え難くないとすればＧＩである」ものはある fact2: 「「連絡し合うしさらに中世的都市だ」ということは間違いだとすると御会いする」物はある fact3: 「もし仮に「浪人するが非課税選択でない」ということは成り立たないとすればアフリカ系な」物はある fact4: 「仮に「特権化する」ということは成り立つなら「目敏い」ということは成り立つ」ものはある fact5: もし「この第九章は増え難いが過らない」ということは正しくないならＧＩだ fact6: 仮に「この第九章は増え難いししかも過る」ということは成り立たないならそれはＧＩだ
fact5 -> hypothesis;
$facts$ = fact1: 「仮に増え難くないとすればＧＩである」ものはある fact2: 「「連絡し合うしさらに中世的都市だ」ということは間違いだとすると御会いする」物はある fact3: 「もし仮に「浪人するが非課税選択でない」ということは成り立たないとすればアフリカ系な」物はある fact4: 「仮に「特権化する」ということは成り立つなら「目敏い」ということは成り立つ」ものはある fact5: もし「この第九章は増え難いが過らない」ということは正しくないならＧＩだ fact6: 仮に「この第九章は増え難いししかも過る」ということは成り立たないならそれはＧＩだ ; $hypothesis$ = 「もしも「増え難い一方で過らない」ということは成り立たないとするとＧＩである」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「仮に増え難くないとすればＧＩである」ものはある
事実2: 「「連絡し合うしさらに中世的都市だ」ということは間違いだとすると御会いする」物はある
事実3: 「もし仮に「浪人するが非課税選択でない」ということは成り立たないとすればアフリカ系な」物はある
事実4: 「仮に「特権化する」ということは成り立つなら「目敏い」ということは成り立つ」ものはある
事実5: もし「この第九章は増え難いが過らない」ということは正しくないならＧＩだ
事実6: 仮に「この第九章は増え難いししかも過る」ということは成り立たないならそれはＧＩだ

仮説: 「もしも「増え難い一方で過らない」ということは成り立たないとするとＧＩである」物はある
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。