その当該離島は取っ付き難い
fact1: この法話は過ごし易くて動ずる fact2: もし仮にその当該離島が取っ付き難くないならこの公共事務は動ぜない一方でそれは取り急ぐ fact3: 仮にこの公共事務が動ぜないとするとこの法話は紙質だ fact4: もし仮に「ボランティア活動だし更に乱射する」物があるとすればこの法話は過ごし易い fact5: 「もしそのドア口が成立し難いとしたらそのドア口は紙質である」ということは事実だ fact6: 仮にとある物は眺め始めるけれど飛行機らしくないとしたら成立し難いということはない fact7: 過ごし易い物は飛行機らしくないし更に取っ付き難くない fact8: もしそのクオーターバックが画像数でないとしたら貴国でまた紙質である fact9: もし仮にこの公共事務が宗教人でないとすると個別資産だしまたコンクリート壁だ fact10: とあるものがボランティア活動だしそれは乱射する fact11: もし仮にこの法話がボランティア活動でないとすれば成立し難いし過ごし易い fact12: この法話はボランティア活動でない fact13: もし飛行機らしくないものが取っ付き難いということはないとすればその当該離島は機械加工だ fact14: 紙質は眺め始めるが飛行機らしくない fact15: もしこの公共事務が眺め始めるけど動ぜないならそれは取っ付き難くない
void -> assump1: 以下のように仮定する。その当該離島は取っ付き難いということはない; fact2 & assump1 -> int1: この公共事務は動ぜないが取り急ぐ; int1 -> int2: この公共事務は動ぜない; int2 & fact3 -> int3: この法話は紙質である; fact14 -> int4: もしもこの法話は紙質であるならばそれは眺め始めるがしかし飛行機らしくない; int3 & int4 -> int5: この法話は眺め始めるけれどそれは飛行機らしくない; fact6 -> int6: 仮にこの法話は眺め始めるがしかし飛行機らしくないとするとそれは成立し難くない; int5 & int6 -> int7: この法話は成立し難くない; fact11 & fact12 -> int8: この法話は成立し難いし加えて過ごし易い; int8 -> int9: この法話は成立し難い; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その当該離島は機械加工でおまけに眺め始める
fact16 -> int11: もしもこの法話が過ごし易いとするとそれは飛行機らしくないしおまけにそれは取っ付き難くない; fact19 & fact18 -> int12: この法話は過ごし易い; int11 & int12 -> int13: この法話は飛行機らしくないしおまけにそれは取っ付き難いということはない; int13 -> int14: 何らかの物は飛行機らしくないしおまけに取っ付き難くない; int14 & fact20 -> int15: その当該離島は機械加工だ;
$facts$ = fact1: この法話は過ごし易くて動ずる fact2: もし仮にその当該離島が取っ付き難くないならこの公共事務は動ぜない一方でそれは取り急ぐ fact3: 仮にこの公共事務が動ぜないとするとこの法話は紙質だ fact4: もし仮に「ボランティア活動だし更に乱射する」物があるとすればこの法話は過ごし易い fact5: 「もしそのドア口が成立し難いとしたらそのドア口は紙質である」ということは事実だ fact6: 仮にとある物は眺め始めるけれど飛行機らしくないとしたら成立し難いということはない fact7: 過ごし易い物は飛行機らしくないし更に取っ付き難くない fact8: もしそのクオーターバックが画像数でないとしたら貴国でまた紙質である fact9: もし仮にこの公共事務が宗教人でないとすると個別資産だしまたコンクリート壁だ fact10: とあるものがボランティア活動だしそれは乱射する fact11: もし仮にこの法話がボランティア活動でないとすれば成立し難いし過ごし易い fact12: この法話はボランティア活動でない fact13: もし飛行機らしくないものが取っ付き難いということはないとすればその当該離島は機械加工だ fact14: 紙質は眺め始めるが飛行機らしくない fact15: もしこの公共事務が眺め始めるけど動ぜないならそれは取っ付き難くない ; $hypothesis$ = その当該離島は取っ付き難い ; $proof$ = 
void -> assump1: 以下のように仮定する。その当該離島は取っ付き難いということはない; fact2 & assump1 -> int1: この公共事務は動ぜないが取り急ぐ; int1 -> int2: この公共事務は動ぜない; int2 & fact3 -> int3: この法話は紙質である; fact14 -> int4: もしもこの法話は紙質であるならばそれは眺め始めるがしかし飛行機らしくない; int3 & int4 -> int5: この法話は眺め始めるけれどそれは飛行機らしくない; fact6 -> int6: 仮にこの法話は眺め始めるがしかし飛行機らしくないとするとそれは成立し難くない; int5 & int6 -> int7: この法話は成立し難くない; fact11 & fact12 -> int8: この法話は成立し難いし加えて過ごし易い; int8 -> int9: この法話は成立し難い; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この法話は過ごし易くて動ずる
事実2: もし仮にその当該離島が取っ付き難くないならこの公共事務は動ぜない一方でそれは取り急ぐ
事実3: 仮にこの公共事務が動ぜないとするとこの法話は紙質だ
事実4: もし仮に「ボランティア活動だし更に乱射する」物があるとすればこの法話は過ごし易い
事実5: 「もしそのドア口が成立し難いとしたらそのドア口は紙質である」ということは事実だ
事実6: 仮にとある物は眺め始めるけれど飛行機らしくないとしたら成立し難いということはない
事実7: 過ごし易い物は飛行機らしくないし更に取っ付き難くない
事実8: もしそのクオーターバックが画像数でないとしたら貴国でまた紙質である
事実9: もし仮にこの公共事務が宗教人でないとすると個別資産だしまたコンクリート壁だ
事実10: とあるものがボランティア活動だしそれは乱射する
事実11: もし仮にこの法話がボランティア活動でないとすれば成立し難いし過ごし易い
事実12: この法話はボランティア活動でない
事実13: もし飛行機らしくないものが取っ付き難いということはないとすればその当該離島は機械加工だ
事実14: 紙質は眺め始めるが飛行機らしくない
事実15: もしこの公共事務が眺め始めるけど動ぜないならそれは取っ付き難くない

仮説: その当該離島は取っ付き難い
1. 仮定1: 以下のように仮定する。その当該離島は取っ付き難いということはない
2. 事実2と仮定1から、推論1: "この公共事務は動ぜないが取り急ぐ"が導かれる
3. 推論1から、推論2: "この公共事務は動ぜない"が導かれる
4. 推論2と事実3から、推論3: "この法話は紙質である"が導かれる
5. 事実14から、推論4: "もしもこの法話は紙質であるならばそれは眺め始めるがしかし飛行機らしくない"が導かれる
6. 推論3と推論4から、推論5: "この法話は眺め始めるけれどそれは飛行機らしくない"が導かれる
7. 事実6から、推論6: "仮にこの法話は眺め始めるがしかし飛行機らしくないとするとそれは成立し難くない"が導かれる
8. 推論5と推論6から、推論7: "この法話は成立し難くない"が導かれる
9. 事実11と事実12から、推論8: "この法話は成立し難いし加えて過ごし易い"が導かれる
10. 推論8から、推論9: "この法話は成立し難い"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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