「もし「その虚脱は匂い立つかまたはそれは打ち抜かないかあるいは両方である」ということは誤りだとしたら「その虚脱は根強くない」ということは真実だ」ということは成り立たない
fact1: 仮に「とあるものは匂い立つかまたはそれは打ち抜くということはない」ということは成り立たないとすれば「それは根強くない」ということは成り立つ
$facts$ = fact1: 仮に「とあるものは匂い立つかまたはそれは打ち抜くということはない」ということは成り立たないとすれば「それは根強くない」ということは成り立つ ; $hypothesis$ = 「もし「その虚脱は匂い立つかまたはそれは打ち抜かないかあるいは両方である」ということは誤りだとしたら「その虚脱は根強くない」ということは真実だ」ということは成り立たない ; $proof$ = 
事実1: 仮に「とあるものは匂い立つかまたはそれは打ち抜くということはない」ということは成り立たないとすれば「それは根強くない」ということは成り立つ

仮説: 「もし「その虚脱は匂い立つかまたはそれは打ち抜かないかあるいは両方である」ということは誤りだとしたら「その虚脱は根強くない」ということは真実だ」ということは成り立たない