この潜水艦操縦練習機は移住出来ない
fact1: もし「その自衛隊発足は上場でないけれど算出出来る」ということは間違っていればこの潜水艦操縦練習機は移住出来る fact2: 「「その自衛隊発足は上場でないけどそれは算出出来る」ということは成り立つ」ということは成り立たない
$facts$ = fact1: もし「その自衛隊発足は上場でないけれど算出出来る」ということは間違っていればこの潜水艦操縦練習機は移住出来る fact2: 「「その自衛隊発足は上場でないけどそれは算出出来る」ということは成り立つ」ということは成り立たない ; $hypothesis$ = この潜水艦操縦練習機は移住出来ない ; $proof$ = 
事実1: もし「その自衛隊発足は上場でないけれど算出出来る」ということは間違っていればこの潜水艦操縦練習機は移住出来る
事実2: 「「その自衛隊発足は上場でないけどそれは算出出来る」ということは成り立つ」ということは成り立たない

仮説: この潜水艦操縦練習機は移住出来ない