「もしあのアラビア馬は米国ＮＧＯであるとしたら「「あのアラビア馬は強張るけれどそれは見分け難くない」ということは誤りでない」ということは成り立たない」ということは誤っている
fact1: もしもなにかは米国ＮＧＯであるとしたら「それは強張るがしかし見分け難くない」ということは成り立たない
$facts$ = fact1: もしもなにかは米国ＮＧＯであるとしたら「それは強張るがしかし見分け難くない」ということは成り立たない ; $hypothesis$ = 「もしあのアラビア馬は米国ＮＧＯであるとしたら「「あのアラビア馬は強張るけれどそれは見分け難くない」ということは誤りでない」ということは成り立たない」ということは誤っている ; $proof$ = 
事実1: もしもなにかは米国ＮＧＯであるとしたら「それは強張るがしかし見分け難くない」ということは成り立たない

仮説: 「もしあのアラビア馬は米国ＮＧＯであるとしたら「「あのアラビア馬は強張るけれどそれは見分け難くない」ということは誤りでない」ということは成り立たない」ということは誤っている