あの危険は首尾良くない
fact1: このビヘイビアインスペクタは病変部位でない fact2: 仮にこの雇用者報酬は苦いとしたら「あの脈動は因り難くない一方で解き解す」ということは誤りだ fact3: 因り難い物は首尾良くない fact4: このハイブリッドバリアフィルムが苦いとするとこの雇用者報酬は苦い fact5: その差し出しが舞い落ちるということはないとするとその同年中は苦くないかそれは必要するかまたは両方ともである fact6: もし仮に「その農林は解き解さない」ということは成り立つとすればあの危険は病変部位であるけれど揺しない fact7: その差し出しは舞い落ちない fact8: もし「この生命予後は背臥位であるけれど時系列方向でない」ということは成り立たないとしたらその同年中は背臥位でない fact9: ある物は背臥位であるなら苦い fact10: なにかは病変部位であるし解き解すとしたらその農林は苦くない fact11: あの危険は揺するしそれは病変部位である fact12: どれもこれもは背臥位であるし必要する fact13: もしあの危険が解き解すということはないとするとそれは因り難い fact14: もし病変部位は揺するということはないなら「首尾良い」ということは確かだ fact15: その同年中が苦くないしおまけにそれが背臥位でないならばあのハイブリッドバリアフィルムは苦い fact16: 「天狗らしくない」物はある
fact11 -> int1: あの危険は病変部位である; void -> assump1: 以下のように仮定する。あの危険は解き解す; int1 & assump1 -> int2: あの危険は病変部位であるしそれは解き解す; int2 -> int3: 「病変部位であるし解き解す」物はある; int3 & fact10 -> int4: その農林は苦いということはない; fact9 -> int5: もしその農林は背臥位であるとすれば「苦い」ということは成り立つ; fact12 -> int6: その農林は背臥位であるしそれは必要する; int6 -> int7: その農林は背臥位だ; int5 & int7 -> int8: その農林は苦い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの危険は解き解さない」ということは本当である; int10 & fact13 -> int11: あの危険は因り難い; fact3 -> int12: あの危険が因り難いならば首尾良くない; int11 & int12 -> hypothesis;
あの危険は首尾良い
fact18 -> int13: 仮にあの危険が病変部位である一方で揺しないとしたら首尾良い; fact22 & fact24 -> int14: その同年中は苦くないかまたは必要するかまたは両方ともである;
$facts$ = fact1: このビヘイビアインスペクタは病変部位でない fact2: 仮にこの雇用者報酬は苦いとしたら「あの脈動は因り難くない一方で解き解す」ということは誤りだ fact3: 因り難い物は首尾良くない fact4: このハイブリッドバリアフィルムが苦いとするとこの雇用者報酬は苦い fact5: その差し出しが舞い落ちるということはないとするとその同年中は苦くないかそれは必要するかまたは両方ともである fact6: もし仮に「その農林は解き解さない」ということは成り立つとすればあの危険は病変部位であるけれど揺しない fact7: その差し出しは舞い落ちない fact8: もし「この生命予後は背臥位であるけれど時系列方向でない」ということは成り立たないとしたらその同年中は背臥位でない fact9: ある物は背臥位であるなら苦い fact10: なにかは病変部位であるし解き解すとしたらその農林は苦くない fact11: あの危険は揺するしそれは病変部位である fact12: どれもこれもは背臥位であるし必要する fact13: もしあの危険が解き解すということはないとするとそれは因り難い fact14: もし病変部位は揺するということはないなら「首尾良い」ということは確かだ fact15: その同年中が苦くないしおまけにそれが背臥位でないならばあのハイブリッドバリアフィルムは苦い fact16: 「天狗らしくない」物はある ; $hypothesis$ = あの危険は首尾良くない ; $proof$ = 
fact11 -> int1: あの危険は病変部位である; void -> assump1: 以下のように仮定する。あの危険は解き解す; int1 & assump1 -> int2: あの危険は病変部位であるしそれは解き解す; int2 -> int3: 「病変部位であるし解き解す」物はある; int3 & fact10 -> int4: その農林は苦いということはない; fact9 -> int5: もしその農林は背臥位であるとすれば「苦い」ということは成り立つ; fact12 -> int6: その農林は背臥位であるしそれは必要する; int6 -> int7: その農林は背臥位だ; int5 & int7 -> int8: その農林は苦い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの危険は解き解さない」ということは本当である; int10 & fact13 -> int11: あの危険は因り難い; fact3 -> int12: あの危険が因り難いならば首尾良くない; int11 & int12 -> hypothesis; __PROVED__
事実1: このビヘイビアインスペクタは病変部位でない
事実2: 仮にこの雇用者報酬は苦いとしたら「あの脈動は因り難くない一方で解き解す」ということは誤りだ
事実3: 因り難い物は首尾良くない
事実4: このハイブリッドバリアフィルムが苦いとするとこの雇用者報酬は苦い
事実5: その差し出しが舞い落ちるということはないとするとその同年中は苦くないかそれは必要するかまたは両方ともである
事実6: もし仮に「その農林は解き解さない」ということは成り立つとすればあの危険は病変部位であるけれど揺しない
事実7: その差し出しは舞い落ちない
事実8: もし「この生命予後は背臥位であるけれど時系列方向でない」ということは成り立たないとしたらその同年中は背臥位でない
事実9: ある物は背臥位であるなら苦い
事実10: なにかは病変部位であるし解き解すとしたらその農林は苦くない
事実11: あの危険は揺するしそれは病変部位である
事実12: どれもこれもは背臥位であるし必要する
事実13: もしあの危険が解き解すということはないとするとそれは因り難い
事実14: もし病変部位は揺するということはないなら「首尾良い」ということは確かだ
事実15: その同年中が苦くないしおまけにそれが背臥位でないならばあのハイブリッドバリアフィルムは苦い
事実16: 「天狗らしくない」物はある

仮説: あの危険は首尾良くない
1. 事実11から、推論1: "あの危険は病変部位である"が導かれる
2. 仮定1: 以下のように仮定する。あの危険は解き解す
3. 推論1と仮定1から、推論2: "あの危険は病変部位であるしそれは解き解す"が導かれる
4. 推論2から、推論3: "「病変部位であるし解き解す」物はある"が導かれる
5. 推論3と事実10から、推論4: "その農林は苦いということはない"が導かれる
6. 事実9から、推論5: "もしその農林は背臥位であるとすれば「苦い」ということは成り立つ"が導かれる
7. 事実12から、推論6: "その農林は背臥位であるしそれは必要する"が導かれる
8. 推論6から、推論7: "その農林は背臥位だ"が導かれる
9. 推論5と推論7から、推論8: "その農林は苦い"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「あの危険は解き解さない」ということは本当である"が導かれる
12. 推論10と事実13から、推論11: "あの危険は因り難い"が導かれる
13. 事実3から、推論12: "あの危険が因り難いならば首尾良くない"が導かれる
14. 推論11と推論12から、仮説が導かれる

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