もし仮に「あのバックアップ体制は販売努力である」ということは間違っているとすればこの分子レベルは撤廃するかまたはそれは向き合えるかどちらもだ
fact1: もしもあのバックアップ体制が販売努力だとすればあの分子レベルは撤廃するかまたは向き合える fact2: 「もしあのバックアップ体制が販売努力でないとするとこの分子レベルは撤廃するし加えて練習法だ」ということは成り立つ fact3: この分子レベルが販売努力だとしたらあのバックアップ体制は向き合えるしまた撤廃する
void -> assump1: 以下のように仮定する。あのバックアップ体制は販売努力でない; fact2 & assump1 -> int1: 「この分子レベルは撤廃するしさらに練習法である」ということは確かである; int1 -> int2: この分子レベルは撤廃する; int2 -> int3: この分子レベルは撤廃するかまたは向き合える; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもあのバックアップ体制が販売努力だとすればあの分子レベルは撤廃するかまたは向き合える fact2: 「もしあのバックアップ体制が販売努力でないとするとこの分子レベルは撤廃するし加えて練習法だ」ということは成り立つ fact3: この分子レベルが販売努力だとしたらあのバックアップ体制は向き合えるしまた撤廃する ; $hypothesis$ = もし仮に「あのバックアップ体制は販売努力である」ということは間違っているとすればこの分子レベルは撤廃するかまたはそれは向き合えるかどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのバックアップ体制は販売努力でない; fact2 & assump1 -> int1: 「この分子レベルは撤廃するしさらに練習法である」ということは確かである; int1 -> int2: この分子レベルは撤廃する; int2 -> int3: この分子レベルは撤廃するかまたは向き合える; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあのバックアップ体制が販売努力だとすればあの分子レベルは撤廃するかまたは向き合える
事実2: 「もしあのバックアップ体制が販売努力でないとするとこの分子レベルは撤廃するし加えて練習法だ」ということは成り立つ
事実3: この分子レベルが販売努力だとしたらあのバックアップ体制は向き合えるしまた撤廃する

仮説: もし仮に「あのバックアップ体制は販売努力である」ということは間違っているとすればこの分子レベルは撤廃するかまたはそれは向き合えるかどちらもだ
1. 仮定1: 以下のように仮定する。あのバックアップ体制は販売努力でない
2. 事実2と仮定1から、推論1: "「この分子レベルは撤廃するしさらに練習法である」ということは確かである"が導かれる
3. 推論1から、推論2: "この分子レベルは撤廃する"が導かれる
4. 推論2から、推論3: "この分子レベルは撤廃するかまたは向き合える"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。