そのレコード事業は感銘である
fact1: その誘拐は八十六Ｆである fact2: もし仮にこの決定権が観音寺であるけど安寧でないとすればそのレコード事業は指し手である fact3: 食べ易くない物は連合審査会だ fact4: もし仮に「そのデザイン協議は観音寺である」ということは嘘でないとするとこの決定権は観音寺だ fact5: もし仮に「安寧である」ものがあるならその誘拐は八十六Ｆだけれど連合審査会でない fact6: その誘拐は食べ易くないけどドイモイ改革だ fact7: 「その誘拐はドイモイ改革だ」ということは成り立つ fact8: もしそのレコード事業は指し手であるとすればそれは感銘である fact9: そのデザイン協議は観音寺だ
void -> assump1: 以下のように仮定する。この決定権は安寧である; assump1 -> int1: なにかは安寧だ; int1 & fact5 -> int2: その誘拐は八十六Ｆだけれどそれは連合審査会でない; int2 -> int3: その誘拐は連合審査会でない; fact3 -> int4: その誘拐が食べ易くないとすればそれは連合審査会である; fact6 -> int5: その誘拐は食べ易いということはない; int4 & int5 -> int6: その誘拐は連合審査会だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この決定権は安寧でない; fact4 & fact9 -> int9: この決定権は観音寺である; int8 & int9 -> int10: この決定権は観音寺だけれど安寧でない; int10 & fact2 -> int11: そのレコード事業は指し手だ; int11 & fact8 -> hypothesis;
$facts$ = fact1: その誘拐は八十六Ｆである fact2: もし仮にこの決定権が観音寺であるけど安寧でないとすればそのレコード事業は指し手である fact3: 食べ易くない物は連合審査会だ fact4: もし仮に「そのデザイン協議は観音寺である」ということは嘘でないとするとこの決定権は観音寺だ fact5: もし仮に「安寧である」ものがあるならその誘拐は八十六Ｆだけれど連合審査会でない fact6: その誘拐は食べ易くないけどドイモイ改革だ fact7: 「その誘拐はドイモイ改革だ」ということは成り立つ fact8: もしそのレコード事業は指し手であるとすればそれは感銘である fact9: そのデザイン協議は観音寺だ ; $hypothesis$ = そのレコード事業は感銘である ; $proof$ = 
void -> assump1: 以下のように仮定する。この決定権は安寧である; assump1 -> int1: なにかは安寧だ; int1 & fact5 -> int2: その誘拐は八十六Ｆだけれどそれは連合審査会でない; int2 -> int3: その誘拐は連合審査会でない; fact3 -> int4: その誘拐が食べ易くないとすればそれは連合審査会である; fact6 -> int5: その誘拐は食べ易いということはない; int4 & int5 -> int6: その誘拐は連合審査会だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この決定権は安寧でない; fact4 & fact9 -> int9: この決定権は観音寺である; int8 & int9 -> int10: この決定権は観音寺だけれど安寧でない; int10 & fact2 -> int11: そのレコード事業は指し手だ; int11 & fact8 -> hypothesis; __PROVED__
事実1: その誘拐は八十六Ｆである
事実2: もし仮にこの決定権が観音寺であるけど安寧でないとすればそのレコード事業は指し手である
事実3: 食べ易くない物は連合審査会だ
事実4: もし仮に「そのデザイン協議は観音寺である」ということは嘘でないとするとこの決定権は観音寺だ
事実5: もし仮に「安寧である」ものがあるならその誘拐は八十六Ｆだけれど連合審査会でない
事実6: その誘拐は食べ易くないけどドイモイ改革だ
事実7: 「その誘拐はドイモイ改革だ」ということは成り立つ
事実8: もしそのレコード事業は指し手であるとすればそれは感銘である
事実9: そのデザイン協議は観音寺だ

仮説: そのレコード事業は感銘である
1. 仮定1: 以下のように仮定する。この決定権は安寧である
2. 仮定1から、推論1: "なにかは安寧だ"が導かれる
3. 推論1と事実5から、推論2: "その誘拐は八十六Ｆだけれどそれは連合審査会でない"が導かれる
4. 推論2から、推論3: "その誘拐は連合審査会でない"が導かれる
5. 事実3から、推論4: "その誘拐が食べ易くないとすればそれは連合審査会である"が導かれる
6. 事実6から、推論5: "その誘拐は食べ易いということはない"が導かれる
7. 推論4と推論5から、推論6: "その誘拐は連合審査会だ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この決定権は安寧でない"が導かれる
10. 事実4と事実9から、推論9: "この決定権は観音寺である"が導かれる
11. 推論8と推論9から、推論10: "この決定権は観音寺だけれど安寧でない"が導かれる
12. 推論10と事実2から、推論11: "そのレコード事業は指し手だ"が導かれる
13. 推論11と事実8から、仮説が導かれる

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