仮に「この入居企業は高じないしそれは豊川海軍工廠でない」ということは成り立たないなら「それは分家しない」ということは正しい
fact1: もしも「「なにがしかの物は高じないしその上それは豊川海軍工廠でない」ということは事実である」ということは誤りであるとしたらそれは分家しない
$facts$ = fact1: もしも「「なにがしかの物は高じないしその上それは豊川海軍工廠でない」ということは事実である」ということは誤りであるとしたらそれは分家しない ; $hypothesis$ = 仮に「この入居企業は高じないしそれは豊川海軍工廠でない」ということは成り立たないなら「それは分家しない」ということは正しい ; $proof$ = 
事実1: もしも「「なにがしかの物は高じないしその上それは豊川海軍工廠でない」ということは事実である」ということは誤りであるとしたらそれは分家しない

仮説: 仮に「この入居企業は高じないしそれは豊川海軍工廠でない」ということは成り立たないなら「それは分家しない」ということは正しい