「あの右目はむくれないけど列記する」ということは間違っている
fact1: あの右目は凄いとしたら「むくれないがしかし列記する」ということは間違いである fact2: あの右目は凄い
$facts$ = fact1: あの右目は凄いとしたら「むくれないがしかし列記する」ということは間違いである fact2: あの右目は凄い ; $hypothesis$ = 「あの右目はむくれないけど列記する」ということは間違っている ; $proof$ = 
事実1: あの右目は凄いとしたら「むくれないがしかし列記する」ということは間違いである
事実2: あの右目は凄い

仮説: 「あの右目はむくれないけど列記する」ということは間違っている