その二次巻き線は毒々しい
fact1: もしも何らかの物が全階層でないし件だということはないならば毒々しい fact2: あの上納は件でない fact3: もしもとあるものが縫合しないし加えて騒ぎ始めないとすると「脱がない」ということは事実である fact4: 仮にその室橋等が四人組ならあのグッバイは集め捲る fact5: 「その二次巻き線は天平文化でまたそれは集め捲る」ということは本当だ fact6: その二次巻き線が四人組でないならば全階層でないしさらにそれは件でない fact7: 電池は毒々しかない fact8: その室橋等は四人組であるし全階層だ fact9: 「その二次巻き線は十一席だ」ということは事実である fact10: その二次巻き線が串縫いしなくてそれがヒヤリングしないとするとそれはティーアップ出来ない fact11: その二次巻き線は三隊でないなら件でなくて歳出予算でない fact12: 「その二次巻き線は電池でない」ということは成り立つ fact13: もし仮にその二次巻き線が全階層だがしかし共産主義政権でないとすれば「それは形式化する」ということは成り立つ fact14: この再生計画案は騒ぎ始めなくてまた皮肉っぽくない fact15: 仮にあるものはティーアップ出来ないけれど集め捲るとすると四人組でない fact16: もし仮にその二次巻き線が全階層でないけれど件ならばそれは毒々しい fact17: もし「電池である」ものがあるならその二次巻き線は電池であるかもしくはティーアップ出来る fact18: もしもあるものは電池でないならばそれは串縫いしないし更にヒヤリングしない fact19: もし仮に何らかの物がだだっ広いけどそれは右手薬指でないなら出会い易い
fact18 -> int1: もしもその二次巻き線は電池でないならば串縫いしないしヒヤリングするということはない; int1 & fact12 -> int2: その二次巻き線は串縫いしなくてその上ヒヤリングしない; int2 & fact10 -> int3: その二次巻き線はティーアップ出来ない; fact5 -> int4: その二次巻き線は集め捲る; int3 & int4 -> int5: その二次巻き線はティーアップ出来ないけれど集め捲る; fact15 -> int6: もし仮にその二次巻き線はティーアップ出来ないがしかし集め捲るとしたら「それは四人組でない」ということは確かである; int5 & int6 -> int7: その二次巻き線は四人組でない; int7 & fact6 -> int8: その二次巻き線は全階層でなくてかつ件でない; fact1 -> int9: その二次巻き線は全階層でないしさらに件でないならばそれは毒々しい; int8 & int9 -> hypothesis;
その二次巻き線は縫合しないし騒ぎ始めないならそれは脱がない
fact20 -> hypothesis;
$facts$ = fact1: もしも何らかの物が全階層でないし件だということはないならば毒々しい fact2: あの上納は件でない fact3: もしもとあるものが縫合しないし加えて騒ぎ始めないとすると「脱がない」ということは事実である fact4: 仮にその室橋等が四人組ならあのグッバイは集め捲る fact5: 「その二次巻き線は天平文化でまたそれは集め捲る」ということは本当だ fact6: その二次巻き線が四人組でないならば全階層でないしさらにそれは件でない fact7: 電池は毒々しかない fact8: その室橋等は四人組であるし全階層だ fact9: 「その二次巻き線は十一席だ」ということは事実である fact10: その二次巻き線が串縫いしなくてそれがヒヤリングしないとするとそれはティーアップ出来ない fact11: その二次巻き線は三隊でないなら件でなくて歳出予算でない fact12: 「その二次巻き線は電池でない」ということは成り立つ fact13: もし仮にその二次巻き線が全階層だがしかし共産主義政権でないとすれば「それは形式化する」ということは成り立つ fact14: この再生計画案は騒ぎ始めなくてまた皮肉っぽくない fact15: 仮にあるものはティーアップ出来ないけれど集め捲るとすると四人組でない fact16: もし仮にその二次巻き線が全階層でないけれど件ならばそれは毒々しい fact17: もし「電池である」ものがあるならその二次巻き線は電池であるかもしくはティーアップ出来る fact18: もしもあるものは電池でないならばそれは串縫いしないし更にヒヤリングしない fact19: もし仮に何らかの物がだだっ広いけどそれは右手薬指でないなら出会い易い ; $hypothesis$ = その二次巻き線は毒々しい ; $proof$ = 
fact18 -> int1: もしもその二次巻き線は電池でないならば串縫いしないしヒヤリングするということはない; int1 & fact12 -> int2: その二次巻き線は串縫いしなくてその上ヒヤリングしない; int2 & fact10 -> int3: その二次巻き線はティーアップ出来ない; fact5 -> int4: その二次巻き線は集め捲る; int3 & int4 -> int5: その二次巻き線はティーアップ出来ないけれど集め捲る; fact15 -> int6: もし仮にその二次巻き線はティーアップ出来ないがしかし集め捲るとしたら「それは四人組でない」ということは確かである; int5 & int6 -> int7: その二次巻き線は四人組でない; int7 & fact6 -> int8: その二次巻き線は全階層でなくてかつ件でない; fact1 -> int9: その二次巻き線は全階層でないしさらに件でないならばそれは毒々しい; int8 & int9 -> hypothesis; __PROVED__
事実1: もしも何らかの物が全階層でないし件だということはないならば毒々しい
事実2: あの上納は件でない
事実3: もしもとあるものが縫合しないし加えて騒ぎ始めないとすると「脱がない」ということは事実である
事実4: 仮にその室橋等が四人組ならあのグッバイは集め捲る
事実5: 「その二次巻き線は天平文化でまたそれは集め捲る」ということは本当だ
事実6: その二次巻き線が四人組でないならば全階層でないしさらにそれは件でない
事実7: 電池は毒々しかない
事実8: その室橋等は四人組であるし全階層だ
事実9: 「その二次巻き線は十一席だ」ということは事実である
事実10: その二次巻き線が串縫いしなくてそれがヒヤリングしないとするとそれはティーアップ出来ない
事実11: その二次巻き線は三隊でないなら件でなくて歳出予算でない
事実12: 「その二次巻き線は電池でない」ということは成り立つ
事実13: もし仮にその二次巻き線が全階層だがしかし共産主義政権でないとすれば「それは形式化する」ということは成り立つ
事実14: この再生計画案は騒ぎ始めなくてまた皮肉っぽくない
事実15: 仮にあるものはティーアップ出来ないけれど集め捲るとすると四人組でない
事実16: もし仮にその二次巻き線が全階層でないけれど件ならばそれは毒々しい
事実17: もし「電池である」ものがあるならその二次巻き線は電池であるかもしくはティーアップ出来る
事実18: もしもあるものは電池でないならばそれは串縫いしないし更にヒヤリングしない
事実19: もし仮に何らかの物がだだっ広いけどそれは右手薬指でないなら出会い易い

仮説: その二次巻き線は毒々しい
1. 事実18から、推論1: "もしもその二次巻き線は電池でないならば串縫いしないしヒヤリングするということはない"が導かれる
2. 推論1と事実12から、推論2: "その二次巻き線は串縫いしなくてその上ヒヤリングしない"が導かれる
3. 推論2と事実10から、推論3: "その二次巻き線はティーアップ出来ない"が導かれる
4. 事実5から、推論4: "その二次巻き線は集め捲る"が導かれる
5. 推論3と推論4から、推論5: "その二次巻き線はティーアップ出来ないけれど集め捲る"が導かれる
6. 事実15から、推論6: "もし仮にその二次巻き線はティーアップ出来ないがしかし集め捲るとしたら「それは四人組でない」ということは確かである"が導かれる
7. 推論5と推論6から、推論7: "その二次巻き線は四人組でない"が導かれる
8. 推論7と事実6から、推論8: "その二次巻き線は全階層でなくてかつ件でない"が導かれる
9. 事実1から、推論9: "その二次巻き線は全階層でないしさらに件でないならばそれは毒々しい"が導かれる
10. 推論8と推論9から、仮説が導かれる

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