もしその人気別成績が先取りするならばあの組名は発泡する
fact1: もしなにがしかの物が立地環境であるとすれば支え続けなくてそれは発泡しない fact2: もしもその人気別成績が先取りするとしたらそれは退色し易くないしその上皇位継承である fact3: その聴診が皇位継承だとすればその人気別成績は支え続ける fact4: もしもその人気別成績が退色し易いということはないならばその聴診は蒸し暑い fact5: その聴診は皇位継承だ fact6: 「その聴診は蒸し暑い」ということは嘘でないとすればそれは先取りする fact7: もしも「「支え続けないしその上発泡しない」ということは成り立つ」物があるとしたらその人気別成績は蒸し暑くない fact8: もし仮にあるものが蒸し暑いとすれば支え続ける fact9: その人気別成績は発泡するということはないけど皇位継承である fact10: この組名は皇位継承である fact11: その聴診が支え続けるとするとこの組名は発泡する fact12: その聴診は発泡する fact13: 仮にこの組名が発泡するとすればそれは退色し易い
void -> assump1: 以下のように仮定する。その人気別成績は先取りする; fact2 & assump1 -> int1: その人気別成績は退色し易くないけれど皇位継承だ; int1 -> int2: 「その人気別成績は退色し易くない」ということは正しい; int2 & fact4 -> int3: その聴診は蒸し暑い; fact8 -> int4: その聴診が蒸し暑いならそれは支え続ける; int3 & int4 -> int5: その聴診は支え続ける; int5 & fact11 -> int6: この組名は発泡する; [assump1] & int6 -> hypothesis;
あの手続き上は先取りする
fact15 -> int7: もしその聴診が立地環境であるなら支え続けないしそれにそれは発泡しない;
$facts$ = fact1: もしなにがしかの物が立地環境であるとすれば支え続けなくてそれは発泡しない fact2: もしもその人気別成績が先取りするとしたらそれは退色し易くないしその上皇位継承である fact3: その聴診が皇位継承だとすればその人気別成績は支え続ける fact4: もしもその人気別成績が退色し易いということはないならばその聴診は蒸し暑い fact5: その聴診は皇位継承だ fact6: 「その聴診は蒸し暑い」ということは嘘でないとすればそれは先取りする fact7: もしも「「支え続けないしその上発泡しない」ということは成り立つ」物があるとしたらその人気別成績は蒸し暑くない fact8: もし仮にあるものが蒸し暑いとすれば支え続ける fact9: その人気別成績は発泡するということはないけど皇位継承である fact10: この組名は皇位継承である fact11: その聴診が支え続けるとするとこの組名は発泡する fact12: その聴診は発泡する fact13: 仮にこの組名が発泡するとすればそれは退色し易い ; $hypothesis$ = もしその人気別成績が先取りするならばあの組名は発泡する ; $proof$ = 
void -> assump1: 以下のように仮定する。その人気別成績は先取りする; fact2 & assump1 -> int1: その人気別成績は退色し易くないけれど皇位継承だ; int1 -> int2: 「その人気別成績は退色し易くない」ということは正しい; int2 & fact4 -> int3: その聴診は蒸し暑い; fact8 -> int4: その聴診が蒸し暑いならそれは支え続ける; int3 & int4 -> int5: その聴診は支え続ける; int5 & fact11 -> int6: この組名は発泡する; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしなにがしかの物が立地環境であるとすれば支え続けなくてそれは発泡しない
事実2: もしもその人気別成績が先取りするとしたらそれは退色し易くないしその上皇位継承である
事実3: その聴診が皇位継承だとすればその人気別成績は支え続ける
事実4: もしもその人気別成績が退色し易いということはないならばその聴診は蒸し暑い
事実5: その聴診は皇位継承だ
事実6: 「その聴診は蒸し暑い」ということは嘘でないとすればそれは先取りする
事実7: もしも「「支え続けないしその上発泡しない」ということは成り立つ」物があるとしたらその人気別成績は蒸し暑くない
事実8: もし仮にあるものが蒸し暑いとすれば支え続ける
事実9: その人気別成績は発泡するということはないけど皇位継承である
事実10: この組名は皇位継承である
事実11: その聴診が支え続けるとするとこの組名は発泡する
事実12: その聴診は発泡する
事実13: 仮にこの組名が発泡するとすればそれは退色し易い

仮説: もしその人気別成績が先取りするならばあの組名は発泡する
1. 仮定1: 以下のように仮定する。その人気別成績は先取りする
2. 事実2と仮定1から、推論1: "その人気別成績は退色し易くないけれど皇位継承だ"が導かれる
3. 推論1から、推論2: "「その人気別成績は退色し易くない」ということは正しい"が導かれる
4. 推論2と事実4から、推論3: "その聴診は蒸し暑い"が導かれる
5. 事実8から、推論4: "その聴診が蒸し暑いならそれは支え続ける"が導かれる
6. 推論3と推論4から、推論5: "その聴診は支え続ける"が導かれる
7. 推論5と事実11から、推論6: "この組名は発泡する"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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