「この病院経営は韓国系だ」ということは真実である
fact1: もしもそのディクスン・カーが咲き揃わないけどそれが黙りこくるとするとそれは彼女らしくない fact2: そのディクスン・カーは彼女らしい fact3: もし仮にそのＴ‐ＰＡが黙りこくるということはないならそのディクスン・カーは咲き揃わない一方でそれは黙りこくる fact4: もしも「戻り掛ける」物があるとすればそのＴ‐ＰＡは黙りこくらない fact5: もし仮にこの病院経営が御恥ずかしいならそれは御安い fact6: もしこの病院経営が御安いとしたら韓国系である fact7: もしも「この病院経営はだぶつくということはない一方で戻り掛ける」ということは誤っているなら御恥ずかしい
void -> assump1: 以下のように仮定する。この病院経営はだぶつかないけれどそれは戻り掛ける; assump1 -> int1: この病院経営は戻り掛ける; int1 -> int2: 何かは戻り掛ける; int2 & fact4 -> int3: 「そのＴ‐ＰＡは黙りこくらない」ということは成り立つ; int3 & fact3 -> int4: そのディクスン・カーは咲き揃わないが黙りこくる; int4 & fact1 -> int5: そのディクスン・カーは彼女らしくない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この病院経営はだぶつかないけれど戻り掛ける」ということは間違っている; int7 & fact7 -> int8: この病院経営は御恥ずかしい; int8 & fact5 -> int9: この病院経営は御安い; int9 & fact6 -> hypothesis;
$facts$ = fact1: もしもそのディクスン・カーが咲き揃わないけどそれが黙りこくるとするとそれは彼女らしくない fact2: そのディクスン・カーは彼女らしい fact3: もし仮にそのＴ‐ＰＡが黙りこくるということはないならそのディクスン・カーは咲き揃わない一方でそれは黙りこくる fact4: もしも「戻り掛ける」物があるとすればそのＴ‐ＰＡは黙りこくらない fact5: もし仮にこの病院経営が御恥ずかしいならそれは御安い fact6: もしこの病院経営が御安いとしたら韓国系である fact7: もしも「この病院経営はだぶつくということはない一方で戻り掛ける」ということは誤っているなら御恥ずかしい ; $hypothesis$ = 「この病院経営は韓国系だ」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この病院経営はだぶつかないけれどそれは戻り掛ける; assump1 -> int1: この病院経営は戻り掛ける; int1 -> int2: 何かは戻り掛ける; int2 & fact4 -> int3: 「そのＴ‐ＰＡは黙りこくらない」ということは成り立つ; int3 & fact3 -> int4: そのディクスン・カーは咲き揃わないが黙りこくる; int4 & fact1 -> int5: そのディクスン・カーは彼女らしくない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この病院経営はだぶつかないけれど戻り掛ける」ということは間違っている; int7 & fact7 -> int8: この病院経営は御恥ずかしい; int8 & fact5 -> int9: この病院経営は御安い; int9 & fact6 -> hypothesis; __PROVED__
事実1: もしもそのディクスン・カーが咲き揃わないけどそれが黙りこくるとするとそれは彼女らしくない
事実2: そのディクスン・カーは彼女らしい
事実3: もし仮にそのＴ‐ＰＡが黙りこくるということはないならそのディクスン・カーは咲き揃わない一方でそれは黙りこくる
事実4: もしも「戻り掛ける」物があるとすればそのＴ‐ＰＡは黙りこくらない
事実5: もし仮にこの病院経営が御恥ずかしいならそれは御安い
事実6: もしこの病院経営が御安いとしたら韓国系である
事実7: もしも「この病院経営はだぶつくということはない一方で戻り掛ける」ということは誤っているなら御恥ずかしい

仮説: 「この病院経営は韓国系だ」ということは真実である
1. 仮定1: 以下のように仮定する。この病院経営はだぶつかないけれどそれは戻り掛ける
2. 仮定1から、推論1: "この病院経営は戻り掛ける"が導かれる
3. 推論1から、推論2: "何かは戻り掛ける"が導かれる
4. 推論2と事実4から、推論3: "「そのＴ‐ＰＡは黙りこくらない」ということは成り立つ"が導かれる
5. 推論3と事実3から、推論4: "そのディクスン・カーは咲き揃わないが黙りこくる"が導かれる
6. 推論4と事実1から、推論5: "そのディクスン・カーは彼女らしくない"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この病院経営はだぶつかないけれど戻り掛ける」ということは間違っている"が導かれる
9. 推論7と事実7から、推論8: "この病院経営は御恥ずかしい"が導かれる
10. 推論8と事実5から、推論9: "この病院経営は御安い"が導かれる
11. 推論9と事実6から、仮説が導かれる

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