「もしも輝かしいけど著しかないなら作品化しない」物はある
fact1: 「「もし輝かしくて著しかないとすると作品化する」ものはある」ということは偽だということはない fact2: 「もしも罹患し易いけれど接尾詞でないとすると「積み重ねない」ということは事実な」物はある fact3: 「もしも腫れ上がるが採択するということはないなら「編み止めしない」ということは確かである」ものはある fact4: この高速バスが輝かしいけれど著しかないとするとそれは作品化しない fact5: あのＣＲイートオアは著しいけど法律規定でないとすれば「絶対謙遜だということはない」ということは事実である fact6: 「もしも輝かしくてまた著しいなら作品化するということはない」物はある fact7: もしもこの高速バスは輝かしくて著しいとすればそれは作品化しない fact8: 「もし野太いがしかし心深くないとすれば恵まれない」物はある fact9: 仮にこの高速バスは輝かしい一方で著しかないとすれば作品化する fact10: もしパスポートチェックは薬方でないならばそれは鶯でない fact11: 「もし仮に他愛無いけれど敵中深くないとしたら柔くない」ものはある fact12: 「仮に「退所するがしかしカッターナイフでない」ということは成り立つとするとデＧψでない」物はある fact13: もしもそのＳＢＳ‐ＨＰは早変わりするがしかし感じ始めないとするとそれは著しかない fact14: 「もし物狂おしいがしかし妻帯者であるということはないとすると編み止めするということはない」ものはある fact15: もしもそのビーチコーマーは物々しいけれど輝かしくないとすれば賑々しくない fact16: 「仮に救命出来るが気付き易くないならばＴＩＰでない」物はある
fact4 -> hypothesis;
「もしもパスポートチェックであるけど薬方だということはないなら鶯でない」物はある
fact17 -> int1: もしその後払いはパスポートチェックであるがしかし薬方でないとしたらそれは鶯でない; int1 -> hypothesis;
$facts$ = fact1: 「「もし輝かしくて著しかないとすると作品化する」ものはある」ということは偽だということはない fact2: 「もしも罹患し易いけれど接尾詞でないとすると「積み重ねない」ということは事実な」物はある fact3: 「もしも腫れ上がるが採択するということはないなら「編み止めしない」ということは確かである」ものはある fact4: この高速バスが輝かしいけれど著しかないとするとそれは作品化しない fact5: あのＣＲイートオアは著しいけど法律規定でないとすれば「絶対謙遜だということはない」ということは事実である fact6: 「もしも輝かしくてまた著しいなら作品化するということはない」物はある fact7: もしもこの高速バスは輝かしくて著しいとすればそれは作品化しない fact8: 「もし野太いがしかし心深くないとすれば恵まれない」物はある fact9: 仮にこの高速バスは輝かしい一方で著しかないとすれば作品化する fact10: もしパスポートチェックは薬方でないならばそれは鶯でない fact11: 「もし仮に他愛無いけれど敵中深くないとしたら柔くない」ものはある fact12: 「仮に「退所するがしかしカッターナイフでない」ということは成り立つとするとデＧψでない」物はある fact13: もしもそのＳＢＳ‐ＨＰは早変わりするがしかし感じ始めないとするとそれは著しかない fact14: 「もし物狂おしいがしかし妻帯者であるということはないとすると編み止めするということはない」ものはある fact15: もしもそのビーチコーマーは物々しいけれど輝かしくないとすれば賑々しくない fact16: 「仮に救命出来るが気付き易くないならばＴＩＰでない」物はある ; $hypothesis$ = 「もしも輝かしいけど著しかないなら作品化しない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「もし輝かしくて著しかないとすると作品化する」ものはある」ということは偽だということはない
事実2: 「もしも罹患し易いけれど接尾詞でないとすると「積み重ねない」ということは事実な」物はある
事実3: 「もしも腫れ上がるが採択するということはないなら「編み止めしない」ということは確かである」ものはある
事実4: この高速バスが輝かしいけれど著しかないとするとそれは作品化しない
事実5: あのＣＲイートオアは著しいけど法律規定でないとすれば「絶対謙遜だということはない」ということは事実である
事実6: 「もしも輝かしくてまた著しいなら作品化するということはない」物はある
事実7: もしもこの高速バスは輝かしくて著しいとすればそれは作品化しない
事実8: 「もし野太いがしかし心深くないとすれば恵まれない」物はある
事実9: 仮にこの高速バスは輝かしい一方で著しかないとすれば作品化する
事実10: もしパスポートチェックは薬方でないならばそれは鶯でない
事実11: 「もし仮に他愛無いけれど敵中深くないとしたら柔くない」ものはある
事実12: 「仮に「退所するがしかしカッターナイフでない」ということは成り立つとするとデＧψでない」物はある
事実13: もしもそのＳＢＳ‐ＨＰは早変わりするがしかし感じ始めないとするとそれは著しかない
事実14: 「もし物狂おしいがしかし妻帯者であるということはないとすると編み止めするということはない」ものはある
事実15: もしもそのビーチコーマーは物々しいけれど輝かしくないとすれば賑々しくない
事実16: 「仮に救命出来るが気付き易くないならばＴＩＰでない」物はある

仮説: 「もしも輝かしいけど著しかないなら作品化しない」物はある
1. 事実4から、仮説が導かれる

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