「店舗面積であるかセールスするか両方ともな」ものはある
fact1: あの九州説は見極め難くてまた触媒する fact2: もしも何かは店舗面積だということはないなら「それは開花するし加えてそれはセールスする」ということは間違いだ fact3: あの日照りは関係人集会であるししかも選択し易い fact4: あの日照りが関係人集会だとすると大人雄である fact5: ある物は開花するか関係人集会であるかまたは両方である fact6: あの日照りが選択し易いならあの九州説は国民・市民だ fact7: もし何らかのものが見受けないとすればそれは疑い深いし更に伸びる fact8: 仮にこの在来仏教は初々しかないとしたら「考え易いしその上獲得す」ということは成り立たない fact9: もし疑い深い物が伸びるとするとそれは店舗面積だということはない fact10: この在来仏教は国民・市民であるか店舗面積であるか両方ともである fact11: もしもこの在来仏教は格好悪くないし在廷しないとしたらそれは初々しかない fact12: あの九州説は関係人集会だ fact13: あの日照りは関係人集会である fact14: この在来仏教は選択し易い fact15: もし仮にあの九州説が国民・市民だとするとこの羅生門は開花する fact16: ある物はセールスするかまたはそれは選択し易いかもしくは両方である fact17: なにかは関係人集会でないし国民・市民でないとすればそれは選択し易い fact18: 「あの再録は関係人集会である」ということは成り立つ fact19: この羅生門が開花するとすればこの在来仏教は店舗面積である fact20: あの日照りは国民・市民である fact21: もし仮に「「考え易いしその上獲得す」ということは偽である」物があるならこの羅生門は見受けない fact22: この在来仏教は格好悪いということはないし在廷しない fact23: もし「この羅生門は開花するしセールスする」ということは誤りであるならあの日照りは開花するということはない fact24: 「この羅生門は見だ」ということは正しい
fact3 -> int1: あの日照りは選択し易い; int1 & fact6 -> int2: あの九州説は国民・市民である; int2 & fact15 -> int3: この羅生門は開花する; int3 & fact19 -> int4: この在来仏教は店舗面積である; int4 -> int5: 「この在来仏教は店舗面積であるかもしくはセールスする」ということは成り立つ; int5 -> hypothesis;
あの九州説は選択し易い
fact31 -> int6: もしもあの九州説が関係人集会でなくて国民・市民でないならば選択し易い; fact28 -> int7: もしもこの羅生門は店舗面積でないとしたら「開花するしまたセールスする」ということは事実と異なる; fact29 -> int8: 仮にこの羅生門は疑い深いしかつ伸びるとしたらそれは店舗面積でない; fact26 -> int9: もしもこの羅生門は見受けるということはないなら「疑い深いしおまけに伸びる」ということは成り立つ; fact27 & fact32 -> int10: この在来仏教は初々しいということはない; fact33 & int10 -> int11: 「この在来仏教は考え易いしかつ獲得す」ということは成り立たない; int11 -> int12: 「「考え易くて加えて獲得す」ということは事実と異なる」ものはある; int12 & fact25 -> int13: この羅生門は見受けない; int9 & int13 -> int14: この羅生門は疑い深いしさらに伸びる; int8 & int14 -> int15: この羅生門は店舗面積でない; int7 & int15 -> int16: 「この羅生門は開花するしその上セールスする」ということは成り立たない; fact30 & int16 -> int17: あの日照りは開花しない; int17 -> int18: 「開花しない」ものはある;
$facts$ = fact1: あの九州説は見極め難くてまた触媒する fact2: もしも何かは店舗面積だということはないなら「それは開花するし加えてそれはセールスする」ということは間違いだ fact3: あの日照りは関係人集会であるししかも選択し易い fact4: あの日照りが関係人集会だとすると大人雄である fact5: ある物は開花するか関係人集会であるかまたは両方である fact6: あの日照りが選択し易いならあの九州説は国民・市民だ fact7: もし何らかのものが見受けないとすればそれは疑い深いし更に伸びる fact8: 仮にこの在来仏教は初々しかないとしたら「考え易いしその上獲得す」ということは成り立たない fact9: もし疑い深い物が伸びるとするとそれは店舗面積だということはない fact10: この在来仏教は国民・市民であるか店舗面積であるか両方ともである fact11: もしもこの在来仏教は格好悪くないし在廷しないとしたらそれは初々しかない fact12: あの九州説は関係人集会だ fact13: あの日照りは関係人集会である fact14: この在来仏教は選択し易い fact15: もし仮にあの九州説が国民・市民だとするとこの羅生門は開花する fact16: ある物はセールスするかまたはそれは選択し易いかもしくは両方である fact17: なにかは関係人集会でないし国民・市民でないとすればそれは選択し易い fact18: 「あの再録は関係人集会である」ということは成り立つ fact19: この羅生門が開花するとすればこの在来仏教は店舗面積である fact20: あの日照りは国民・市民である fact21: もし仮に「「考え易いしその上獲得す」ということは偽である」物があるならこの羅生門は見受けない fact22: この在来仏教は格好悪いということはないし在廷しない fact23: もし「この羅生門は開花するしセールスする」ということは誤りであるならあの日照りは開花するということはない fact24: 「この羅生門は見だ」ということは正しい ; $hypothesis$ = 「店舗面積であるかセールスするか両方ともな」ものはある ; $proof$ = 
fact3 -> int1: あの日照りは選択し易い; int1 & fact6 -> int2: あの九州説は国民・市民である; int2 & fact15 -> int3: この羅生門は開花する; int3 & fact19 -> int4: この在来仏教は店舗面積である; int4 -> int5: 「この在来仏教は店舗面積であるかもしくはセールスする」ということは成り立つ; int5 -> hypothesis; __PROVED__
事実1: あの九州説は見極め難くてまた触媒する
事実2: もしも何かは店舗面積だということはないなら「それは開花するし加えてそれはセールスする」ということは間違いだ
事実3: あの日照りは関係人集会であるししかも選択し易い
事実4: あの日照りが関係人集会だとすると大人雄である
事実5: ある物は開花するか関係人集会であるかまたは両方である
事実6: あの日照りが選択し易いならあの九州説は国民・市民だ
事実7: もし何らかのものが見受けないとすればそれは疑い深いし更に伸びる
事実8: 仮にこの在来仏教は初々しかないとしたら「考え易いしその上獲得す」ということは成り立たない
事実9: もし疑い深い物が伸びるとするとそれは店舗面積だということはない
事実10: この在来仏教は国民・市民であるか店舗面積であるか両方ともである
事実11: もしもこの在来仏教は格好悪くないし在廷しないとしたらそれは初々しかない
事実12: あの九州説は関係人集会だ
事実13: あの日照りは関係人集会である
事実14: この在来仏教は選択し易い
事実15: もし仮にあの九州説が国民・市民だとするとこの羅生門は開花する
事実16: ある物はセールスするかまたはそれは選択し易いかもしくは両方である
事実17: なにかは関係人集会でないし国民・市民でないとすればそれは選択し易い
事実18: 「あの再録は関係人集会である」ということは成り立つ
事実19: この羅生門が開花するとすればこの在来仏教は店舗面積である
事実20: あの日照りは国民・市民である
事実21: もし仮に「「考え易いしその上獲得す」ということは偽である」物があるならこの羅生門は見受けない
事実22: この在来仏教は格好悪いということはないし在廷しない
事実23: もし「この羅生門は開花するしセールスする」ということは誤りであるならあの日照りは開花するということはない
事実24: 「この羅生門は見だ」ということは正しい

仮説: 「店舗面積であるかセールスするか両方ともな」ものはある
1. 事実3から、推論1: "あの日照りは選択し易い"が導かれる
2. 推論1と事実6から、推論2: "あの九州説は国民・市民である"が導かれる
3. 推論2と事実15から、推論3: "この羅生門は開花する"が導かれる
4. 推論3と事実19から、推論4: "この在来仏教は店舗面積である"が導かれる
5. 推論4から、推論5: "「この在来仏教は店舗面積であるかもしくはセールスする」ということは成り立つ"が導かれる
6. 推論5から、仮説が導かれる

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