「仮にこの沿岸はフィールドリストでないならば「この沿岸はダウンロード出来ないか物寂しいかあるいはどちらもである」ということは事実と異なる」ということは真実でない
fact1: もし仮にあるものはフィールドリストでないとしたら「それはダウンロード出来ないかまたは物寂しいかまたはどちらもだ」ということは真実だということはない
$facts$ = fact1: もし仮にあるものはフィールドリストでないとしたら「それはダウンロード出来ないかまたは物寂しいかまたはどちらもだ」ということは真実だということはない ; $hypothesis$ = 「仮にこの沿岸はフィールドリストでないならば「この沿岸はダウンロード出来ないか物寂しいかあるいはどちらもである」ということは事実と異なる」ということは真実でない ; $proof$ = 
事実1: もし仮にあるものはフィールドリストでないとしたら「それはダウンロード出来ないかまたは物寂しいかまたはどちらもだ」ということは真実だということはない

仮説: 「仮にこの沿岸はフィールドリストでないならば「この沿岸はダウンロード出来ないか物寂しいかあるいはどちらもである」ということは事実と異なる」ということは真実でない