あのＡ〜Ｃは示し得る
fact1: あのＡ〜Ｃは限り無しかまたはそれは牧草地であるか両方ともだ fact2: あのＡ〜Ｃが限り無しか牧草地であるかどちらもであるとしたら「それは示し得ない」ということは成り立つ
$facts$ = fact1: あのＡ〜Ｃは限り無しかまたはそれは牧草地であるか両方ともだ fact2: あのＡ〜Ｃが限り無しか牧草地であるかどちらもであるとしたら「それは示し得ない」ということは成り立つ ; $hypothesis$ = あのＡ〜Ｃは示し得る ; $proof$ = 
事実1: あのＡ〜Ｃは限り無しかまたはそれは牧草地であるか両方ともだ
事実2: あのＡ〜Ｃが限り無しか牧草地であるかどちらもであるとしたら「それは示し得ない」ということは成り立つ

仮説: あのＡ〜Ｃは示し得る