この初手天元は詳しい
fact1: 仮にそのサーベルが絞り止めするということはないかあるいはそれが痛ーいとすればこの初手天元は詳しい fact2: そのサーベルは絞り止めしないかもしくはそれは痛ーい
$facts$ = fact1: 仮にそのサーベルが絞り止めするということはないかあるいはそれが痛ーいとすればこの初手天元は詳しい fact2: そのサーベルは絞り止めしないかもしくはそれは痛ーい ; $hypothesis$ = この初手天元は詳しい ; $proof$ = 
事実1: 仮にそのサーベルが絞り止めするということはないかあるいはそれが痛ーいとすればこの初手天元は詳しい
事実2: そのサーベルは絞り止めしないかもしくはそれは痛ーい

仮説: この初手天元は詳しい