「その防空演習は怒鳴り返さない」ということは本当だ
fact1: もしも「効果有りだということはなくてかつ無防備でない」物があるとすればあの防空演習は怒鳴り返さない fact2: 「何らかのものは効果有りでないしそれに無防備でない」ということは成り立つ
$facts$ = fact1: もしも「効果有りだということはなくてかつ無防備でない」物があるとすればあの防空演習は怒鳴り返さない fact2: 「何らかのものは効果有りでないしそれに無防備でない」ということは成り立つ ; $hypothesis$ = 「その防空演習は怒鳴り返さない」ということは本当だ ; $proof$ = 
事実1: もしも「効果有りだということはなくてかつ無防備でない」物があるとすればあの防空演習は怒鳴り返さない
事実2: 「何らかのものは効果有りでないしそれに無防備でない」ということは成り立つ

仮説: 「その防空演習は怒鳴り返さない」ということは本当だ