あの涙金はアメーバでない
fact1: もしその印籠が烏滸がましいし更にそれは肋骨であるとしたら御役立ち情報である fact2: もし仮に肋骨は生まれ難くないとすれば「忍び難い」ということは本当である fact3: 仮に「この臨床症状はしょぼい」ということは本当であるとすればそれは自他境界線でないしカラオケ屋だということはない fact4: このリンパ腺は耐え難いが霊感でない fact5: もし仮にその印籠が暗ししそれは自他境界線なら「あの涙金はアメーバでない」ということは本当である fact6: あの涙金は自他境界線であるしかつ付き合える fact7: 仮にあの涙金が御役立ち情報であるし自他境界線であるならその印籠はアメーバだということはない fact8: このＣＤ‐ＲＯＭは烏滸がましい fact9: 全ての物は烏滸がましいがしかし肋骨でない fact10: すべては家禽類で加えてそれは報道官でない fact11: この臨床症状はしょぼい fact12: その印籠は自他境界線だ fact13: もし仮にその印籠は御役立ち情報であるなら暗し fact14: どれもこれもは肋骨であるということはない fact15: もし仮になにかは烏滸がましかないなら「肋骨でないしその上それはアメーバだということはない」ということは成り立つということはない fact16: その印籠は肋骨でない fact17: あの涙金は暗し fact18: もし「あの涙金は哀れっぽい」ということは事実ならばそれは肋骨だ fact19: もし仮にこの臨床症状が自他境界線であるということはないしその上それがカラオケ屋でないとしたらこのメール送信は暗しということはない fact20: 「あらゆる物はみっともないがしかし担がない」ということは事実だ fact21: その印籠は烏滸がましい一方で肋骨でないとしたら御役立ち情報だ
fact9 -> int1: その印籠は烏滸がましい一方で肋骨でない; int1 & fact21 -> int2: その印籠は御役立ち情報である; int2 & fact13 -> int3: その印籠は暗し; int3 & fact12 -> int4: その印籠が暗ししその上それは自他境界線である; int4 & fact5 -> hypothesis;
もし「この静注用は肋骨である一方で生まれ難くない」ということは確かだとすれば忍び難い
fact22 -> hypothesis;
$facts$ = fact1: もしその印籠が烏滸がましいし更にそれは肋骨であるとしたら御役立ち情報である fact2: もし仮に肋骨は生まれ難くないとすれば「忍び難い」ということは本当である fact3: 仮に「この臨床症状はしょぼい」ということは本当であるとすればそれは自他境界線でないしカラオケ屋だということはない fact4: このリンパ腺は耐え難いが霊感でない fact5: もし仮にその印籠が暗ししそれは自他境界線なら「あの涙金はアメーバでない」ということは本当である fact6: あの涙金は自他境界線であるしかつ付き合える fact7: 仮にあの涙金が御役立ち情報であるし自他境界線であるならその印籠はアメーバだということはない fact8: このＣＤ‐ＲＯＭは烏滸がましい fact9: 全ての物は烏滸がましいがしかし肋骨でない fact10: すべては家禽類で加えてそれは報道官でない fact11: この臨床症状はしょぼい fact12: その印籠は自他境界線だ fact13: もし仮にその印籠は御役立ち情報であるなら暗し fact14: どれもこれもは肋骨であるということはない fact15: もし仮になにかは烏滸がましかないなら「肋骨でないしその上それはアメーバだということはない」ということは成り立つということはない fact16: その印籠は肋骨でない fact17: あの涙金は暗し fact18: もし「あの涙金は哀れっぽい」ということは事実ならばそれは肋骨だ fact19: もし仮にこの臨床症状が自他境界線であるということはないしその上それがカラオケ屋でないとしたらこのメール送信は暗しということはない fact20: 「あらゆる物はみっともないがしかし担がない」ということは事実だ fact21: その印籠は烏滸がましい一方で肋骨でないとしたら御役立ち情報だ ; $hypothesis$ = あの涙金はアメーバでない ; $proof$ = 
fact9 -> int1: その印籠は烏滸がましい一方で肋骨でない; int1 & fact21 -> int2: その印籠は御役立ち情報である; int2 & fact13 -> int3: その印籠は暗し; int3 & fact12 -> int4: その印籠が暗ししその上それは自他境界線である; int4 & fact5 -> hypothesis; __PROVED__
事実1: もしその印籠が烏滸がましいし更にそれは肋骨であるとしたら御役立ち情報である
事実2: もし仮に肋骨は生まれ難くないとすれば「忍び難い」ということは本当である
事実3: 仮に「この臨床症状はしょぼい」ということは本当であるとすればそれは自他境界線でないしカラオケ屋だということはない
事実4: このリンパ腺は耐え難いが霊感でない
事実5: もし仮にその印籠が暗ししそれは自他境界線なら「あの涙金はアメーバでない」ということは本当である
事実6: あの涙金は自他境界線であるしかつ付き合える
事実7: 仮にあの涙金が御役立ち情報であるし自他境界線であるならその印籠はアメーバだということはない
事実8: このＣＤ‐ＲＯＭは烏滸がましい
事実9: 全ての物は烏滸がましいがしかし肋骨でない
事実10: すべては家禽類で加えてそれは報道官でない
事実11: この臨床症状はしょぼい
事実12: その印籠は自他境界線だ
事実13: もし仮にその印籠は御役立ち情報であるなら暗し
事実14: どれもこれもは肋骨であるということはない
事実15: もし仮になにかは烏滸がましかないなら「肋骨でないしその上それはアメーバだということはない」ということは成り立つということはない
事実16: その印籠は肋骨でない
事実17: あの涙金は暗し
事実18: もし「あの涙金は哀れっぽい」ということは事実ならばそれは肋骨だ
事実19: もし仮にこの臨床症状が自他境界線であるということはないしその上それがカラオケ屋でないとしたらこのメール送信は暗しということはない
事実20: 「あらゆる物はみっともないがしかし担がない」ということは事実だ
事実21: その印籠は烏滸がましい一方で肋骨でないとしたら御役立ち情報だ

仮説: あの涙金はアメーバでない
1. 事実9から、推論1: "その印籠は烏滸がましい一方で肋骨でない"が導かれる
2. 推論1と事実21から、推論2: "その印籠は御役立ち情報である"が導かれる
3. 推論2と事実13から、推論3: "その印籠は暗し"が導かれる
4. 推論3と事実12から、推論4: "その印籠が暗ししその上それは自他境界線である"が導かれる
5. 推論4と事実5から、仮説が導かれる

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