「もしもわりなくないとすると「郵便屋でないけど敗戦記念日だ」ということは間違っている」物はある
fact1: もし仮に「その譲渡等はわりなくない」ということは間違いでないとしたら「郵便屋でないが敗戦記念日だ」ということは成り立たない
$facts$ = fact1: もし仮に「その譲渡等はわりなくない」ということは間違いでないとしたら「郵便屋でないが敗戦記念日だ」ということは成り立たない ; $hypothesis$ = 「もしもわりなくないとすると「郵便屋でないけど敗戦記念日だ」ということは間違っている」物はある ; $proof$ = 
事実1: もし仮に「その譲渡等はわりなくない」ということは間違いでないとしたら「郵便屋でないが敗戦記念日だ」ということは成り立たない

仮説: 「もしもわりなくないとすると「郵便屋でないけど敗戦記念日だ」ということは間違っている」物はある