あの玄孫はエンドユーザ・コンピューティングだ
fact1: あの玄孫はエンドユーザ・コンピューティングである
$facts$ = fact1: あの玄孫はエンドユーザ・コンピューティングである ; $hypothesis$ = あの玄孫はエンドユーザ・コンピューティングだ ; $proof$ = 
事実1: あの玄孫はエンドユーザ・コンピューティングである

仮説: あの玄孫はエンドユーザ・コンピューティングだ