この事業外はコミュニケートするけど日常生活圏でない
fact1: もし「この大阪市史は脱会するということはないがしかし体験出来る」ということは本当だとすれば破れ難くない fact2: もし仮にある物が割譲するなら脱会しない一方で体験出来る fact3: 何らかの物が体験出来ないならばそれは出来得ないかまたは破れ難いかあるいはどちらもである fact4: あるものは出来得れば「コミュニケートするがしかし日常生活圏でない」ということは事実でない fact5: 破れ難くない物は出来得るしそれに日常生活圏である fact6: もし仮にこの連覇が出来得ないとするとこの事業外はコミュニケートするがしかしそれは日常生活圏でない fact7: この連覇は日常生活圏である fact8: この連覇は悪戯するか広がり難い fact9: 仮にこの連覇は出来得るということはないなら「この事業外はコミュニケートする」ということは本当である fact10: この連覇は出来得ない fact11: 「この事業外はコミュニケートする」ということは確かだ
fact6 & fact10 -> hypothesis;
fact6 & fact10 -> hypothesis;
この大阪市史は日常生活圏であるが付けさせ方でない
fact14 -> int1: もしもこの大阪市史が破れ難くないならばそれは出来得るしまた日常生活圏だ; fact15 -> int2: もしこの大阪市史が割譲するとするとそれは脱会しないが体験出来る;
$facts$ = fact1: もし「この大阪市史は脱会するということはないがしかし体験出来る」ということは本当だとすれば破れ難くない fact2: もし仮にある物が割譲するなら脱会しない一方で体験出来る fact3: 何らかの物が体験出来ないならばそれは出来得ないかまたは破れ難いかあるいはどちらもである fact4: あるものは出来得れば「コミュニケートするがしかし日常生活圏でない」ということは事実でない fact5: 破れ難くない物は出来得るしそれに日常生活圏である fact6: もし仮にこの連覇が出来得ないとするとこの事業外はコミュニケートするがしかしそれは日常生活圏でない fact7: この連覇は日常生活圏である fact8: この連覇は悪戯するか広がり難い fact9: 仮にこの連覇は出来得るということはないなら「この事業外はコミュニケートする」ということは本当である fact10: この連覇は出来得ない fact11: 「この事業外はコミュニケートする」ということは確かだ ; $hypothesis$ = この事業外はコミュニケートするけど日常生活圏でない ; $proof$ = 
fact6 & fact10 -> hypothesis; __PROVED__
事実1: もし「この大阪市史は脱会するということはないがしかし体験出来る」ということは本当だとすれば破れ難くない
事実2: もし仮にある物が割譲するなら脱会しない一方で体験出来る
事実3: 何らかの物が体験出来ないならばそれは出来得ないかまたは破れ難いかあるいはどちらもである
事実4: あるものは出来得れば「コミュニケートするがしかし日常生活圏でない」ということは事実でない
事実5: 破れ難くない物は出来得るしそれに日常生活圏である
事実6: もし仮にこの連覇が出来得ないとするとこの事業外はコミュニケートするがしかしそれは日常生活圏でない
事実7: この連覇は日常生活圏である
事実8: この連覇は悪戯するか広がり難い
事実9: 仮にこの連覇は出来得るということはないなら「この事業外はコミュニケートする」ということは本当である
事実10: この連覇は出来得ない
事実11: 「この事業外はコミュニケートする」ということは確かだ

仮説: この事業外はコミュニケートするけど日常生活圏でない
1. 事実6と事実10から、仮説が導かれる

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