この薄口醤油は御高くない
fact1: 仮に「バレリーナ達である」ものはあるとしたら「このプロローグは福音宣教であるかもしくはぱっとしないかあるいはどちらもである」ということは成り立たない fact2: 「「バレリーナ達だ」ということは真実な」物はある fact3: もし「このプロローグは福音宣教であるかあるいはぱっとしないかあるいは両方ともである」ということは間違っているとすればこの薄口醤油は御高い
fact2 & fact1 -> int1: 「このプロローグは福音宣教であるかあるいはぱっとしない」ということは事実でない; int1 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「バレリーナ達である」ものはあるとしたら「このプロローグは福音宣教であるかもしくはぱっとしないかあるいはどちらもである」ということは成り立たない fact2: 「「バレリーナ達だ」ということは真実な」物はある fact3: もし「このプロローグは福音宣教であるかあるいはぱっとしないかあるいは両方ともである」ということは間違っているとすればこの薄口醤油は御高い ; $hypothesis$ = この薄口醤油は御高くない ; $proof$ = 
fact2 & fact1 -> int1: 「このプロローグは福音宣教であるかあるいはぱっとしない」ということは事実でない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「バレリーナ達である」ものはあるとしたら「このプロローグは福音宣教であるかもしくはぱっとしないかあるいはどちらもである」ということは成り立たない
事実2: 「「バレリーナ達だ」ということは真実な」物はある
事実3: もし「このプロローグは福音宣教であるかあるいはぱっとしないかあるいは両方ともである」ということは間違っているとすればこの薄口醤油は御高い

仮説: この薄口醤油は御高くない
1. 事実2と事実1から、推論1: "「このプロローグは福音宣教であるかあるいはぱっとしない」ということは事実でない"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。