「「もしも「建設計画でないし加えて高巻かない」ということは間違っているとすると壁沿いな」ものはある」ということは確かである
fact1: 仮に「その相手国は建設計画でなくてまた高巻かない」ということは間違っていればそれは壁沿いだ
$facts$ = fact1: 仮に「その相手国は建設計画でなくてまた高巻かない」ということは間違っていればそれは壁沿いだ ; $hypothesis$ = 「「もしも「建設計画でないし加えて高巻かない」ということは間違っているとすると壁沿いな」ものはある」ということは確かである ; $proof$ = 
事実1: 仮に「その相手国は建設計画でなくてまた高巻かない」ということは間違っていればそれは壁沿いだ

仮説: 「「もしも「建設計画でないし加えて高巻かない」ということは間違っているとすると壁沿いな」ものはある」ということは確かである