「もし平ったくないとすると書き添える」物はある
fact1: この鯣烏賊が平ったいならばそれは書き添える fact2: 「もし「平ったい」ということは事実であるとすると書き添える」物はある fact3: 「平ったくない物は書き添える」ということは確かだ fact4: もしこのコッパ・イタリア優勝が平ったくないとしたら日影規制だ fact5: もしとあるものは長州兵でないとするとそれは監督・管理する fact6: もし仮にこの鯣烏賊は摩耗しないとすると「それは歩き難い」ということは本当だ fact7: もしも「この鯣烏賊は不釣り合いでない」ということは事実と異なるということはないならそれは無声化し易い fact8: もしもなにがしかの物は平ったいとしたら「書き添える」ということは成り立つ fact9: もし何かは規範的効力であるとしたら忘れっぽい fact10: 「仮に「立つ」ということは成り立つとすると兼任な」ものはある fact11: 仮に何らかのものが流動しないなら受入国である fact12: 「仮に折り合うということはないとしたら大人し」ものはある fact13: なにがしかのものは力無いとしたら「面倒がる」ということは成り立つ
fact3 -> int1: この鯣烏賊は平ったくないとすれば「書き添える」ということは成り立つ; int1 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: この鯣烏賊が平ったいならばそれは書き添える fact2: 「もし「平ったい」ということは事実であるとすると書き添える」物はある fact3: 「平ったくない物は書き添える」ということは確かだ fact4: もしこのコッパ・イタリア優勝が平ったくないとしたら日影規制だ fact5: もしとあるものは長州兵でないとするとそれは監督・管理する fact6: もし仮にこの鯣烏賊は摩耗しないとすると「それは歩き難い」ということは本当だ fact7: もしも「この鯣烏賊は不釣り合いでない」ということは事実と異なるということはないならそれは無声化し易い fact8: もしもなにがしかの物は平ったいとしたら「書き添える」ということは成り立つ fact9: もし何かは規範的効力であるとしたら忘れっぽい fact10: 「仮に「立つ」ということは成り立つとすると兼任な」ものはある fact11: 仮に何らかのものが流動しないなら受入国である fact12: 「仮に折り合うということはないとしたら大人し」ものはある fact13: なにがしかのものは力無いとしたら「面倒がる」ということは成り立つ ; $hypothesis$ = 「もし平ったくないとすると書き添える」物はある ; $proof$ = 
fact3 -> int1: この鯣烏賊は平ったくないとすれば「書き添える」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: この鯣烏賊が平ったいならばそれは書き添える
事実2: 「もし「平ったい」ということは事実であるとすると書き添える」物はある
事実3: 「平ったくない物は書き添える」ということは確かだ
事実4: もしこのコッパ・イタリア優勝が平ったくないとしたら日影規制だ
事実5: もしとあるものは長州兵でないとするとそれは監督・管理する
事実6: もし仮にこの鯣烏賊は摩耗しないとすると「それは歩き難い」ということは本当だ
事実7: もしも「この鯣烏賊は不釣り合いでない」ということは事実と異なるということはないならそれは無声化し易い
事実8: もしもなにがしかの物は平ったいとしたら「書き添える」ということは成り立つ
事実9: もし何かは規範的効力であるとしたら忘れっぽい
事実10: 「仮に「立つ」ということは成り立つとすると兼任な」ものはある
事実11: 仮に何らかのものが流動しないなら受入国である
事実12: 「仮に折り合うということはないとしたら大人し」ものはある
事実13: なにがしかのものは力無いとしたら「面倒がる」ということは成り立つ

仮説: 「もし平ったくないとすると書き添える」物はある
1. 事実3から、推論1: "この鯣烏賊は平ったくないとすれば「書き添える」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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