「もしもこの新記録が砂虫戦だけれど宛て名画面でないとすればこの新記録は入力する」ということは成り立たない
fact1: もし仮に砂虫戦は宛て名画面でないとすると入力する
$facts$ = fact1: もし仮に砂虫戦は宛て名画面でないとすると入力する ; $hypothesis$ = 「もしもこの新記録が砂虫戦だけれど宛て名画面でないとすればこの新記録は入力する」ということは成り立たない ; $proof$ = 
事実1: もし仮に砂虫戦は宛て名画面でないとすると入力する

仮説: 「もしもこの新記録が砂虫戦だけれど宛て名画面でないとすればこの新記録は入力する」ということは成り立たない