「「六十歳以後でないとすると「細くないけど本旨だ」ということは事実でない」物はある」ということは偽だ
fact1: 仮に「この地下鉄ディストリクト線は六十歳以後だ」ということは事実と異なるとしたら「細くないしそれに本旨である」ということは誤りである
$facts$ = fact1: 仮に「この地下鉄ディストリクト線は六十歳以後だ」ということは事実と異なるとしたら「細くないしそれに本旨である」ということは誤りである ; $hypothesis$ = 「「六十歳以後でないとすると「細くないけど本旨だ」ということは事実でない」物はある」ということは偽だ ; $proof$ = 
事実1: 仮に「この地下鉄ディストリクト線は六十歳以後だ」ということは事実と異なるとしたら「細くないしそれに本旨である」ということは誤りである

仮説: 「「六十歳以後でないとすると「細くないけど本旨だ」ということは事実でない」物はある」ということは偽だ