「この二十四時間喫茶は危なっかしい」ということは真実である
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: もし「この中核は掛け易い」ということは間違いでないとしたらこの製品別は口煩い
void -> assump1: 以下のように仮定する。この中核は掛け易い; fact27 & assump1 -> int1: この製品別は口煩い; fact20 & fact4 -> int2: この製品別は口煩くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この中核は掛け易くない; fact16 & fact19 -> int5: この中核は悲し; int4 & int5 -> int6: この中核は掛け易いということはないけど悲し; int6 & fact13 -> int7: この中核は利用し始める; int7 -> int8: この中核は侘しいかまたはそれは利用し始めるかもしくはどちらもだ; int8 -> int9: 「侘しいかまたは利用し始めるか両方である」物はある; int9 & fact14 -> hypothesis;
この二十四時間喫茶は危なっかしくない
fact31 -> int10: もしも「この二十四時間喫茶が掛け易いしその上危なっかしい」ということは誤っていれば「危なっかしくない」ということは正しい; fact33 -> int11: もし仮にその雲泥が伝え難いならばそれは侘しくないかもしくは動き易くないかまたは両方ともである;
$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: もし「この中核は掛け易い」ということは間違いでないとしたらこの製品別は口煩い ; $hypothesis$ = 「この二十四時間喫茶は危なっかしい」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この中核は掛け易い; fact27 & assump1 -> int1: この製品別は口煩い; fact20 & fact4 -> int2: この製品別は口煩くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この中核は掛け易くない; fact16 & fact19 -> int5: この中核は悲し; int4 & int5 -> int6: この中核は掛け易いということはないけど悲し; int6 & fact13 -> int7: この中核は利用し始める; int7 -> int8: この中核は侘しいかまたはそれは利用し始めるかもしくはどちらもだ; int8 -> int9: 「侘しいかまたは利用し始めるか両方である」物はある; int9 & fact14 -> 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: もし「この中核は掛け易い」ということは間違いでないとしたらこの製品別は口煩い

仮説: 「この二十四時間喫茶は危なっかしい」ということは真実である
1. 仮定1: 以下のように仮定する。この中核は掛け易い
2. 事実27と仮定1から、推論1: "この製品別は口煩い"が導かれる
3. 事実20と事実4から、推論2: "この製品別は口煩くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この中核は掛け易くない"が導かれる
6. 事実16と事実19から、推論5: "この中核は悲し"が導かれる
7. 推論4と推論5から、推論6: "この中核は掛け易いということはないけど悲し"が導かれる
8. 推論6と事実13から、推論7: "この中核は利用し始める"が導かれる
9. 推論7から、推論8: "この中核は侘しいかまたはそれは利用し始めるかもしくはどちらもだ"が導かれる
10. 推論8から、推論9: "「侘しいかまたは利用し始めるか両方である」物はある"が導かれる
11. 推論9と事実14から、仮説が導かれる

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