「あの保健センターは変化し易くないかあるいは攻め入らないかもしくは両方ともである」ということは成り立たないとするとそれは自爆しない
fact1: もしも「とあるものは変化し易いということはないかもしくは攻め入るということはないかもしくは両方だ」ということは成り立たないとすれば「それは自爆しない」ということは真実である
$facts$ = fact1: もしも「とあるものは変化し易いということはないかもしくは攻め入るということはないかもしくは両方だ」ということは成り立たないとすれば「それは自爆しない」ということは真実である ; $hypothesis$ = 「あの保健センターは変化し易くないかあるいは攻め入らないかもしくは両方ともである」ということは成り立たないとするとそれは自爆しない ; $proof$ = 
事実1: もしも「とあるものは変化し易いということはないかもしくは攻め入るということはないかもしくは両方だ」ということは成り立たないとすれば「それは自爆しない」ということは真実である

仮説: 「あの保健センターは変化し易くないかあるいは攻め入らないかもしくは両方ともである」ということは成り立たないとするとそれは自爆しない