もしその先天性疾患が私形であるしかつ寄せ付けるとすると「その気は床柱でない」ということは成り立つ
fact1: もし仮にそのＡＬＣパネルは私形だとすれば「この源氏名は寄せ付けるかセンターラインであるということはないかまたはどちらもだ」ということは正しい fact2: 「私形である」物はある fact3: その飼育率は経営破綻しないかあるいは無音であるかもしくはどちらもである fact4: その気は私形でない fact5: その先天性疾患は寄せ付ける fact6: 「寄せ付ける」ものはある fact7: その先天性疾患は私形だ fact8: もし仮に私形が寄せ付けるとすればその気は床柱でない fact9: とある物が経営破綻しないかまたは無音であるかあるいは両方だとすればあの気は有望視する
void -> assump1: 以下のように仮定する。その先天性疾患は私形であるし加えて寄せ付ける; assump1 -> int1: とある物は私形だしかつ寄せ付ける; int1 & fact8 -> int2: その気は床柱でない; [assump1] & int2 -> hypothesis;
「有望視するしまたセンターラインである」ものはある
fact11 -> int3: 「経営破綻しないかまたは無音であるかあるいはどちらもな」ものはある; int3 & fact12 -> int4: その気は有望視する;
$facts$ = fact1: もし仮にそのＡＬＣパネルは私形だとすれば「この源氏名は寄せ付けるかセンターラインであるということはないかまたはどちらもだ」ということは正しい fact2: 「私形である」物はある fact3: その飼育率は経営破綻しないかあるいは無音であるかもしくはどちらもである fact4: その気は私形でない fact5: その先天性疾患は寄せ付ける fact6: 「寄せ付ける」ものはある fact7: その先天性疾患は私形だ fact8: もし仮に私形が寄せ付けるとすればその気は床柱でない fact9: とある物が経営破綻しないかまたは無音であるかあるいは両方だとすればあの気は有望視する ; $hypothesis$ = もしその先天性疾患が私形であるしかつ寄せ付けるとすると「その気は床柱でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その先天性疾患は私形であるし加えて寄せ付ける; assump1 -> int1: とある物は私形だしかつ寄せ付ける; int1 & fact8 -> int2: その気は床柱でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にそのＡＬＣパネルは私形だとすれば「この源氏名は寄せ付けるかセンターラインであるということはないかまたはどちらもだ」ということは正しい
事実2: 「私形である」物はある
事実3: その飼育率は経営破綻しないかあるいは無音であるかもしくはどちらもである
事実4: その気は私形でない
事実5: その先天性疾患は寄せ付ける
事実6: 「寄せ付ける」ものはある
事実7: その先天性疾患は私形だ
事実8: もし仮に私形が寄せ付けるとすればその気は床柱でない
事実9: とある物が経営破綻しないかまたは無音であるかあるいは両方だとすればあの気は有望視する

仮説: もしその先天性疾患が私形であるしかつ寄せ付けるとすると「その気は床柱でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。その先天性疾患は私形であるし加えて寄せ付ける
2. 仮定1から、推論1: "とある物は私形だしかつ寄せ付ける"が導かれる
3. 推論1と事実8から、推論2: "その気は床柱でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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