その断崖はマーリムだ
fact1: その断崖は隣りである fact2: 「そのボーロは繋がり易いししかも末代である」ということは確かだ fact3: 「その断崖は会話出来る」ということは本当だ fact4: もし仮にそのボーロが伝わり易いとするとその断崖は伝わり易い fact5: もしそのボーロがちっこくないとするとその断崖は隣りだ fact6: 末代は繋がり易いということはないかマーリムでないかあるいはどちらもである fact7: もし仮にこの開発一部はちっこくないなら「その一次救急は伝わり易いということはないがそれは繋がり易い」ということは嘘だ fact8: そのボーロは会話出来るしおまけにそれは伝わり易い fact9: 仮にその断崖が会話出来るということはない一方で伝わり易いとすればあのボーロは隣りである fact10: そのボーロがちっこいということはないならばその断崖はマーリムであるしその上隣りだ fact11: すべての物は純利益でない fact12: とあるものが繋がり易くないかあるいはマーリムでないとすればその断崖はちっこくない fact13: 何らかの物が純利益だということはないとすれば赤黒いし末代だ fact14: そのボーロは末代だ fact15: 「そのボーロは伝わり易い」ということは偽でない fact16: もしもそのボーロは会話出来るし加えてちっこいなら繋がり易いということはない
fact8 -> int1: そのボーロは会話出来る; void -> assump1: 以下のように仮定する。そのボーロはちっこい; int1 & assump1 -> int2: そのボーロは会話出来るしおまけにちっこい; int2 & fact16 -> int3: そのボーロは繋がり易くない; fact2 -> int4: そのボーロは繋がり易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのボーロはちっこくない; int6 & fact10 -> int7: その断崖はマーリムだし隣りである; int7 -> hypothesis;
その断崖はマーリムでない
$facts$ = fact1: その断崖は隣りである fact2: 「そのボーロは繋がり易いししかも末代である」ということは確かだ fact3: 「その断崖は会話出来る」ということは本当だ fact4: もし仮にそのボーロが伝わり易いとするとその断崖は伝わり易い fact5: もしそのボーロがちっこくないとするとその断崖は隣りだ fact6: 末代は繋がり易いということはないかマーリムでないかあるいはどちらもである fact7: もし仮にこの開発一部はちっこくないなら「その一次救急は伝わり易いということはないがそれは繋がり易い」ということは嘘だ fact8: そのボーロは会話出来るしおまけにそれは伝わり易い fact9: 仮にその断崖が会話出来るということはない一方で伝わり易いとすればあのボーロは隣りである fact10: そのボーロがちっこいということはないならばその断崖はマーリムであるしその上隣りだ fact11: すべての物は純利益でない fact12: とあるものが繋がり易くないかあるいはマーリムでないとすればその断崖はちっこくない fact13: 何らかの物が純利益だということはないとすれば赤黒いし末代だ fact14: そのボーロは末代だ fact15: 「そのボーロは伝わり易い」ということは偽でない fact16: もしもそのボーロは会話出来るし加えてちっこいなら繋がり易いということはない ; $hypothesis$ = その断崖はマーリムだ ; $proof$ = 
fact8 -> int1: そのボーロは会話出来る; void -> assump1: 以下のように仮定する。そのボーロはちっこい; int1 & assump1 -> int2: そのボーロは会話出来るしおまけにちっこい; int2 & fact16 -> int3: そのボーロは繋がり易くない; fact2 -> int4: そのボーロは繋がり易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのボーロはちっこくない; int6 & fact10 -> int7: その断崖はマーリムだし隣りである; int7 -> hypothesis; __PROVED__
事実1: その断崖は隣りである
事実2: 「そのボーロは繋がり易いししかも末代である」ということは確かだ
事実3: 「その断崖は会話出来る」ということは本当だ
事実4: もし仮にそのボーロが伝わり易いとするとその断崖は伝わり易い
事実5: もしそのボーロがちっこくないとするとその断崖は隣りだ
事実6: 末代は繋がり易いということはないかマーリムでないかあるいはどちらもである
事実7: もし仮にこの開発一部はちっこくないなら「その一次救急は伝わり易いということはないがそれは繋がり易い」ということは嘘だ
事実8: そのボーロは会話出来るしおまけにそれは伝わり易い
事実9: 仮にその断崖が会話出来るということはない一方で伝わり易いとすればあのボーロは隣りである
事実10: そのボーロがちっこいということはないならばその断崖はマーリムであるしその上隣りだ
事実11: すべての物は純利益でない
事実12: とあるものが繋がり易くないかあるいはマーリムでないとすればその断崖はちっこくない
事実13: 何らかの物が純利益だということはないとすれば赤黒いし末代だ
事実14: そのボーロは末代だ
事実15: 「そのボーロは伝わり易い」ということは偽でない
事実16: もしもそのボーロは会話出来るし加えてちっこいなら繋がり易いということはない

仮説: その断崖はマーリムだ
1. 事実8から、推論1: "そのボーロは会話出来る"が導かれる
2. 仮定1: 以下のように仮定する。そのボーロはちっこい
3. 推論1と仮定1から、推論2: "そのボーロは会話出来るしおまけにちっこい"が導かれる
4. 推論2と事実16から、推論3: "そのボーロは繋がり易くない"が導かれる
5. 事実2から、推論4: "そのボーロは繋がり易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのボーロはちっこくない"が導かれる
8. 推論6と事実10から、推論7: "その断崖はマーリムだし隣りである"が導かれる
9. 推論7から、仮説が導かれる

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