あの圭達は返事出来ない
fact1: あの圭達は掛け合わせる fact2: もしあの圭達が掛け合わせるとすればそれは返事出来る
$facts$ = fact1: あの圭達は掛け合わせる fact2: もしあの圭達が掛け合わせるとすればそれは返事出来る ; $hypothesis$ = あの圭達は返事出来ない ; $proof$ = 
事実1: あの圭達は掛け合わせる
事実2: もしあの圭達が掛け合わせるとすればそれは返事出来る

仮説: あの圭達は返事出来ない