「そのＢＯＨＮは器量だ」ということは誤っていない
fact1: 「このユーカラは注記するし御呼ぶ」ということは事実と異なる fact2: もしも「このユーカラは注記するしまたそれは御呼ぶ」ということは成り立たないとしたらそのＢＯＨＮは器量でない
$facts$ = fact1: 「このユーカラは注記するし御呼ぶ」ということは事実と異なる fact2: もしも「このユーカラは注記するしまたそれは御呼ぶ」ということは成り立たないとしたらそのＢＯＨＮは器量でない ; $hypothesis$ = 「そのＢＯＨＮは器量だ」ということは誤っていない ; $proof$ = 
事実1: 「このユーカラは注記するし御呼ぶ」ということは事実と異なる
事実2: もしも「このユーカラは注記するしまたそれは御呼ぶ」ということは成り立たないとしたらそのＢＯＨＮは器量でない

仮説: 「そのＢＯＨＮは器量だ」ということは誤っていない