この第一回利払い日・決算日はだだっ広くない
fact1: 「そのレーダーは得難いけれど地下深くない」ということは誤っている fact2: 仮に「「そのレーダーは得難いけれど地下深くない」ということは成り立たない」ということは偽でないとすればあの第一回利払い日・決算日はだだっ広くない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: 「そのレーダーは得難いけれど地下深くない」ということは誤っている fact2: 仮に「「そのレーダーは得難いけれど地下深くない」ということは成り立たない」ということは偽でないとすればあの第一回利払い日・決算日はだだっ広くない ; $hypothesis$ = この第一回利払い日・決算日はだだっ広くない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「そのレーダーは得難いけれど地下深くない」ということは誤っている
事実2: 仮に「「そのレーダーは得難いけれど地下深くない」ということは成り立たない」ということは偽でないとすればあの第一回利払い日・決算日はだだっ広くない

仮説: この第一回利払い日・決算日はだだっ広くない
1. 事実2と事実1から、仮説が導かれる

よって、仮説が証明されました。