この具体例は時刻表で麦藁帽である
fact1: もしも「この百座法談聞き書き抄は麦藁帽だ」ということは真実なら環境マネジメントシステムでなくてその上それは時刻表である fact2: もし仮にこの百座法談聞き書き抄は三書であるならカーテン越しだ fact3: この具体例は九人である fact4: この百座法談聞き書き抄はカーテン越しだ fact5: 「この具体例は論述しないが三書だ」ということは真実ならばそれは時刻表だ fact6: もし「あの塩喪失型は運航する」ということは確かだとするとそれが麦藁帽だということはないしさらにそれは満ちる fact7: 「帰属意識は食べ易くない一方でカーテン越しだ」ということは確かだ fact8: もしもその本契約が引き出し易いとしたら床高でない一方で環境マネジメントシステムだ fact9: この具体例は麦藁帽であるし加えて食べ易い fact10: もしこの百座法談聞き書き抄が論述しないかあるいはそれが食べ易くないとしたら三書である fact11: この百座法談聞き書き抄は帰属意識で更に環境マネジメントシステムである fact12: カーテン越しは論述するということはない fact13: そのエネルギー密度は麦藁帽である fact14: カーテン越しは論述しない一方で三書だ fact15: その店番は糾わないけれどオーガンジーである fact16: もしこの具体例はレコード化すれば「減算しない」ということは成り立つ fact17: 「麦藁帽は環境マネジメントシステムでない」ということは成り立つ fact18: もしもこの百座法談聞き書き抄が環境マネジメントシステムであるとしたらこの具体例はカーテン越しだ fact19: 「この百座法談聞き書き抄は境界神だ」ということは真実である fact20: この百座法談聞き書き抄は麦藁帽で三書であるならば「それは環境マネジメントシステムである」ということは誤りであるということはない fact21: もしこの具体例が跳梁跋扈しないがそれは丸いとしたら「痛い」ということは成り立つ fact22: この百座法談聞き書き抄はしょぼくないが散見するとしたら達成し易い
fact11 -> int1: この百座法談聞き書き抄は環境マネジメントシステムだ; int1 & fact18 -> int2: この具体例はカーテン越しである; fact14 -> int3: 仮にこの具体例がカーテン越しであるとすると論述しないしかつ三書だ; int2 & int3 -> int4: この具体例は論述しないけれど三書だ; int4 & fact5 -> int5: この具体例は時刻表だ; fact9 -> int6: この具体例は麦藁帽である; int5 & int6 -> hypothesis;
「この具体例は時刻表だし麦藁帽だ」ということは嘘である
$facts$ = fact1: もしも「この百座法談聞き書き抄は麦藁帽だ」ということは真実なら環境マネジメントシステムでなくてその上それは時刻表である fact2: もし仮にこの百座法談聞き書き抄は三書であるならカーテン越しだ fact3: この具体例は九人である fact4: この百座法談聞き書き抄はカーテン越しだ fact5: 「この具体例は論述しないが三書だ」ということは真実ならばそれは時刻表だ fact6: もし「あの塩喪失型は運航する」ということは確かだとするとそれが麦藁帽だということはないしさらにそれは満ちる fact7: 「帰属意識は食べ易くない一方でカーテン越しだ」ということは確かだ fact8: もしもその本契約が引き出し易いとしたら床高でない一方で環境マネジメントシステムだ fact9: この具体例は麦藁帽であるし加えて食べ易い fact10: もしこの百座法談聞き書き抄が論述しないかあるいはそれが食べ易くないとしたら三書である fact11: この百座法談聞き書き抄は帰属意識で更に環境マネジメントシステムである fact12: カーテン越しは論述するということはない fact13: そのエネルギー密度は麦藁帽である fact14: カーテン越しは論述しない一方で三書だ fact15: その店番は糾わないけれどオーガンジーである fact16: もしこの具体例はレコード化すれば「減算しない」ということは成り立つ fact17: 「麦藁帽は環境マネジメントシステムでない」ということは成り立つ fact18: もしもこの百座法談聞き書き抄が環境マネジメントシステムであるとしたらこの具体例はカーテン越しだ fact19: 「この百座法談聞き書き抄は境界神だ」ということは真実である fact20: この百座法談聞き書き抄は麦藁帽で三書であるならば「それは環境マネジメントシステムである」ということは誤りであるということはない fact21: もしこの具体例が跳梁跋扈しないがそれは丸いとしたら「痛い」ということは成り立つ fact22: この百座法談聞き書き抄はしょぼくないが散見するとしたら達成し易い ; $hypothesis$ = この具体例は時刻表で麦藁帽である ; $proof$ = 
fact11 -> int1: この百座法談聞き書き抄は環境マネジメントシステムだ; int1 & fact18 -> int2: この具体例はカーテン越しである; fact14 -> int3: 仮にこの具体例がカーテン越しであるとすると論述しないしかつ三書だ; int2 & int3 -> int4: この具体例は論述しないけれど三書だ; int4 & fact5 -> int5: この具体例は時刻表だ; fact9 -> int6: この具体例は麦藁帽である; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも「この百座法談聞き書き抄は麦藁帽だ」ということは真実なら環境マネジメントシステムでなくてその上それは時刻表である
事実2: もし仮にこの百座法談聞き書き抄は三書であるならカーテン越しだ
事実3: この具体例は九人である
事実4: この百座法談聞き書き抄はカーテン越しだ
事実5: 「この具体例は論述しないが三書だ」ということは真実ならばそれは時刻表だ
事実6: もし「あの塩喪失型は運航する」ということは確かだとするとそれが麦藁帽だということはないしさらにそれは満ちる
事実7: 「帰属意識は食べ易くない一方でカーテン越しだ」ということは確かだ
事実8: もしもその本契約が引き出し易いとしたら床高でない一方で環境マネジメントシステムだ
事実9: この具体例は麦藁帽であるし加えて食べ易い
事実10: もしこの百座法談聞き書き抄が論述しないかあるいはそれが食べ易くないとしたら三書である
事実11: この百座法談聞き書き抄は帰属意識で更に環境マネジメントシステムである
事実12: カーテン越しは論述するということはない
事実13: そのエネルギー密度は麦藁帽である
事実14: カーテン越しは論述しない一方で三書だ
事実15: その店番は糾わないけれどオーガンジーである
事実16: もしこの具体例はレコード化すれば「減算しない」ということは成り立つ
事実17: 「麦藁帽は環境マネジメントシステムでない」ということは成り立つ
事実18: もしもこの百座法談聞き書き抄が環境マネジメントシステムであるとしたらこの具体例はカーテン越しだ
事実19: 「この百座法談聞き書き抄は境界神だ」ということは真実である
事実20: この百座法談聞き書き抄は麦藁帽で三書であるならば「それは環境マネジメントシステムである」ということは誤りであるということはない
事実21: もしこの具体例が跳梁跋扈しないがそれは丸いとしたら「痛い」ということは成り立つ
事実22: この百座法談聞き書き抄はしょぼくないが散見するとしたら達成し易い

仮説: この具体例は時刻表で麦藁帽である
1. 事実11から、推論1: "この百座法談聞き書き抄は環境マネジメントシステムだ"が導かれる
2. 推論1と事実18から、推論2: "この具体例はカーテン越しである"が導かれる
3. 事実14から、推論3: "仮にこの具体例がカーテン越しであるとすると論述しないしかつ三書だ"が導かれる
4. 推論2と推論3から、推論4: "この具体例は論述しないけれど三書だ"が導かれる
5. 推論4と事実5から、推論5: "この具体例は時刻表だ"が導かれる
6. 事実9から、推論6: "この具体例は麦藁帽である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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