あの二分冊はダブる
fact1: 仮にあの二分冊は四号線でないとすれば「耶蘇教であるかあるいはそれは傅かないかあるいは両方である」ということは真実でない fact2: もしその残存組織が組合ならそれは五裂する fact3: 仮にあの原核は組合でないとしたら「あの二分冊は五裂しないがしかし保険制度だ」ということは成り立たない fact4: 「ある物は傅くし更にそれは保険制度だ」ということは成り立たないとすると「保険制度でない」ということは正しい fact5: その残存組織は組合である fact6: 仮に「あの二分冊はダブる」ということは成り立つとすればそれは打ち上がり易い fact7: あの二分冊は苦々しい fact8: もし仮になんらかのものはうざくないならそれはダブるしおまけに苦々しい fact9: もし仮に「とあるものは五裂しないけど保険制度だ」ということは間違っているとすればそれは保険制度でない fact10: もし仮にあの二分冊はうざくなくてかつそれは保険制度でないとすれば「そのＳ＆Ｐはうざくない」ということは事実である fact11: もしなにかは保険制度でないとすればうざいしおまけにそれは耶蘇教だということはない fact12: もしもあの二分冊が苦々しいならダブる fact13: あの二分冊は御紹介する fact14: 仮にあの原核が厚しということはないかまたはそれは一大センセーションであるとするとそれは組合でない fact15: 仮にあの原核はうざいけれど耶蘇教でないならばあの二分冊はうざくない fact16: もし仮になにがしかの物はうざくないならばそれは苦々しいしそれにそれはダブるということはない fact17: もし仮に「なにかは耶蘇教であるかまたはそれは傅かないかまたは両方ともである」ということは成り立たないとすると「それはうざくない」ということは成り立つ
fact12 & fact7 -> hypothesis;
fact12 & fact7 -> hypothesis;
あの二分冊はダブらない
fact19 -> int1: もし仮に「あの二分冊はうざくない」ということは間違いでないとすればそれは苦々しくて加えてそれはダブらない; fact18 -> int2: もしあの原核が保険制度でないとすればそれはうざい一方で耶蘇教でない; fact20 -> int3: 仮に「あの原核は傅くしさらに保険制度だ」ということは成り立たないならば保険制度でない; fact21 & fact23 -> int4: その残存組織は五裂する; int4 -> int5: 「五裂する」ものはある;
$facts$ = fact1: 仮にあの二分冊は四号線でないとすれば「耶蘇教であるかあるいはそれは傅かないかあるいは両方である」ということは真実でない fact2: もしその残存組織が組合ならそれは五裂する fact3: 仮にあの原核は組合でないとしたら「あの二分冊は五裂しないがしかし保険制度だ」ということは成り立たない fact4: 「ある物は傅くし更にそれは保険制度だ」ということは成り立たないとすると「保険制度でない」ということは正しい fact5: その残存組織は組合である fact6: 仮に「あの二分冊はダブる」ということは成り立つとすればそれは打ち上がり易い fact7: あの二分冊は苦々しい fact8: もし仮になんらかのものはうざくないならそれはダブるしおまけに苦々しい fact9: もし仮に「とあるものは五裂しないけど保険制度だ」ということは間違っているとすればそれは保険制度でない fact10: もし仮にあの二分冊はうざくなくてかつそれは保険制度でないとすれば「そのＳ＆Ｐはうざくない」ということは事実である fact11: もしなにかは保険制度でないとすればうざいしおまけにそれは耶蘇教だということはない fact12: もしもあの二分冊が苦々しいならダブる fact13: あの二分冊は御紹介する fact14: 仮にあの原核が厚しということはないかまたはそれは一大センセーションであるとするとそれは組合でない fact15: 仮にあの原核はうざいけれど耶蘇教でないならばあの二分冊はうざくない fact16: もし仮になにがしかの物はうざくないならばそれは苦々しいしそれにそれはダブるということはない fact17: もし仮に「なにかは耶蘇教であるかまたはそれは傅かないかまたは両方ともである」ということは成り立たないとすると「それはうざくない」ということは成り立つ ; $hypothesis$ = あの二分冊はダブる ; $proof$ = 
fact12 & fact7 -> hypothesis; __PROVED__
事実1: 仮にあの二分冊は四号線でないとすれば「耶蘇教であるかあるいはそれは傅かないかあるいは両方である」ということは真実でない
事実2: もしその残存組織が組合ならそれは五裂する
事実3: 仮にあの原核は組合でないとしたら「あの二分冊は五裂しないがしかし保険制度だ」ということは成り立たない
事実4: 「ある物は傅くし更にそれは保険制度だ」ということは成り立たないとすると「保険制度でない」ということは正しい
事実5: その残存組織は組合である
事実6: 仮に「あの二分冊はダブる」ということは成り立つとすればそれは打ち上がり易い
事実7: あの二分冊は苦々しい
事実8: もし仮になんらかのものはうざくないならそれはダブるしおまけに苦々しい
事実9: もし仮に「とあるものは五裂しないけど保険制度だ」ということは間違っているとすればそれは保険制度でない
事実10: もし仮にあの二分冊はうざくなくてかつそれは保険制度でないとすれば「そのＳ＆Ｐはうざくない」ということは事実である
事実11: もしなにかは保険制度でないとすればうざいしおまけにそれは耶蘇教だということはない
事実12: もしもあの二分冊が苦々しいならダブる
事実13: あの二分冊は御紹介する
事実14: 仮にあの原核が厚しということはないかまたはそれは一大センセーションであるとするとそれは組合でない
事実15: 仮にあの原核はうざいけれど耶蘇教でないならばあの二分冊はうざくない
事実16: もし仮になにがしかの物はうざくないならばそれは苦々しいしそれにそれはダブるということはない
事実17: もし仮に「なにかは耶蘇教であるかまたはそれは傅かないかまたは両方ともである」ということは成り立たないとすると「それはうざくない」ということは成り立つ

仮説: あの二分冊はダブる
1. 事実12と事実7から、仮説が導かれる

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