あの代表格は四角い
fact1: 仮にとあるものが星辰でないならばそれは肉付けするしそれはサイズ調整である fact2: もし「あの経済的事情は流され易くないけれどそれは褒賞する」ということは成り立たないとするとあの代表格は四角い fact3: もしもこの第三世界が折れ易いということはないとしたらその応募書類は星辰でない fact4: もし仮に「その透かしは四角い」ということは成り立つならあの代表格は浅黒い fact5: もし仮に「なにがしかのものは浅黒い」ということは真実だとするとこの嗄声は浅黒いかもしくは温かい fact6: もし仮に「褒賞する」ものがあるとするとあの経済的事情は信仰深くてかつ関係全体だ fact7: 情けないものは深しならば「それは産毛であるということはない」ということは真実である fact8: この嗄声は関係全体であるし更に草葺きだ fact9: 「緊密化しない」ものがあるとするとその透かしは大人らしい一方で温かくない fact10: なにがしかのものが会食しないとしたらそれは剥がせるか折れ易いということはないかもしくは両方だ fact11: 「緊密化しない」ものはある fact12: その透かしが浅黒いとしたらこの嗄声は飛び箱である fact13: もしこの第三世界が剥がせるならその応募書類は星辰でない fact14: あの経済的事情は褒賞するし更にそれは信仰深い fact15: もし「肉付けする」物があるならそのＧＤＮＦは草葺きであるかあるいはそれは流され易い fact16: もし「その透かしは大人らしい」ということは成り立つとするとそれは浅黒い fact17: 「この第三世界が既存商品だしか細い」ということは間違いでない fact18: 仮に「「踏み入らない」ということは誤りでない」ものがあるならばあの経済的事情は関係全体でない fact19: もしも飛び箱は関係全体なら「それは信仰深くない」ということは真実である fact20: 温かいものは緊密化しないかもしくは大人らしいかまたはどちらもである fact21: 仮にこの第三世界は既存商品であるとすれば会食するということはない fact22: 仮にこの嗄声は信仰深くないならば「あの経済的事情は流され易くないが褒賞する」ということは間違いだ fact23: もし「そのＧＤＮＦは流され易い」ということは事実ならこの業務は褒賞する fact24: もし仮にその透かしは緊密化するとすれば「それは四角いがしかし大人らしくない」ということは事実と異なる fact25: この嗄声は言い替えない fact26: その透かしは日本郵船株式会社であるしそれに思し fact27: 仮に「この嗄声は浅黒い」ということは真実であるならその透かしは温かい fact28: もしもそのＧＤＮＦが草葺きならばあの業務は褒賞する
fact11 & fact9 -> int1: その透かしは大人らしいけど温かくない; int1 -> int2: その透かしは大人らしい; int2 & fact16 -> int3: その透かしは浅黒い; int3 & fact12 -> int4: この嗄声は飛び箱だ; fact8 -> int5: この嗄声は関係全体である; int4 & int5 -> int6: この嗄声は飛び箱であるしまたそれは関係全体である; fact19 -> int7: この嗄声が飛び箱であるしそれにそれは関係全体であるとしたらそれは信仰深くない; int6 & int7 -> int8: この嗄声は信仰深くない; int8 & fact22 -> int9: 「「あの経済的事情は流され易くないけどそれは褒賞する」ということは間違いだ」ということは成り立つ; int9 & fact2 -> hypothesis;
あの代表格は四角いということはない
fact39 -> int10: もし仮にその透かしが温かいとすれば緊密化しないかもしくは大人らしいかまたは両方ともだ; fact41 -> int11: その応募書類が星辰でないならそれは肉付けするししかもサイズ調整である; fact30 -> int12: もしも「この第三世界は会食しない」ということは間違いでないとすると剥がせるか折れ易くないかあるいは両方だ; fact40 -> int13: この第三世界は既存商品だ; fact34 & int13 -> int14: この第三世界は会食しない; int12 & int14 -> int15: この第三世界は剥がせるか折れ易くないか両方ともだ; int15 & fact37 & fact36 -> int16: その応募書類は星辰だということはない; int11 & int16 -> int17: その応募書類は肉付けするしさらにサイズ調整だ; int17 -> int18: その応募書類は肉付けする; int18 -> int19: 「肉付けする」物はある; int19 & fact32 -> int20: そのＧＤＮＦは草葺きであるか流され易い; int20 & fact35 & fact38 -> int21: この業務は褒賞する; int21 -> int22: 「褒賞する」物はある; int22 & fact33 -> int23: あの経済的事情は信仰深いし関係全体である; int23 -> int24: あの経済的事情は関係全体である;
$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: もし仮にその透かしは緊密化するとすれば「それは四角いがしかし大人らしくない」ということは事実と異なる fact25: この嗄声は言い替えない fact26: その透かしは日本郵船株式会社であるしそれに思し fact27: 仮に「この嗄声は浅黒い」ということは真実であるならその透かしは温かい fact28: もしもそのＧＤＮＦが草葺きならばあの業務は褒賞する ; $hypothesis$ = あの代表格は四角い ; $proof$ = 
fact11 & fact9 -> int1: その透かしは大人らしいけど温かくない; int1 -> int2: その透かしは大人らしい; int2 & fact16 -> int3: その透かしは浅黒い; int3 & fact12 -> int4: この嗄声は飛び箱だ; fact8 -> int5: この嗄声は関係全体である; int4 & int5 -> int6: この嗄声は飛び箱であるしまたそれは関係全体である; fact19 -> int7: この嗄声が飛び箱であるしそれにそれは関係全体であるとしたらそれは信仰深くない; int6 & int7 -> int8: この嗄声は信仰深くない; int8 & fact22 -> int9: 「「あの経済的事情は流され易くないけどそれは褒賞する」ということは間違いだ」ということは成り立つ; int9 & fact2 -> 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: もし仮にその透かしは緊密化するとすれば「それは四角いがしかし大人らしくない」ということは事実と異なる
事実25: この嗄声は言い替えない
事実26: その透かしは日本郵船株式会社であるしそれに思し
事実27: 仮に「この嗄声は浅黒い」ということは真実であるならその透かしは温かい
事実28: もしもそのＧＤＮＦが草葺きならばあの業務は褒賞する

仮説: あの代表格は四角い
1. 事実11と事実9から、推論1: "その透かしは大人らしいけど温かくない"が導かれる
2. 推論1から、推論2: "その透かしは大人らしい"が導かれる
3. 推論2と事実16から、推論3: "その透かしは浅黒い"が導かれる
4. 推論3と事実12から、推論4: "この嗄声は飛び箱だ"が導かれる
5. 事実8から、推論5: "この嗄声は関係全体である"が導かれる
6. 推論4と推論5から、推論6: "この嗄声は飛び箱であるしまたそれは関係全体である"が導かれる
7. 事実19から、推論7: "この嗄声が飛び箱であるしそれにそれは関係全体であるとしたらそれは信仰深くない"が導かれる
8. 推論6と推論7から、推論8: "この嗄声は信仰深くない"が導かれる
9. 推論8と事実22から、推論9: "「「あの経済的事情は流され易くないけどそれは褒賞する」ということは間違いだ」ということは成り立つ"が導かれる
10. 推論9と事実2から、仮説が導かれる

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