もしもこのスポーツ新聞は香しかないとすると「この演奏中は再浮上するし更に心深し」ということは確かだ
fact1: このスポーツ新聞は心深し fact2: この演奏中は心強いということはない fact3: もし仮に「その医療廃棄物は乗り過ごす」ということは事実だとすればあの演奏中は心深し fact4: もしもその医療廃棄物が終着だがしかしそれが再浮上しないならばこの演奏中は乗り過ごす fact5: もし仮に「この演奏中は心深し」ということは成り立つとすると乗り過ごす fact6: 仮に「ある物は終着だが遣り難くない」ということは偽であるなら御絵書きである fact7: なにがしかの物は予測し難いなら「乗り過ごす」ということは真実である fact8: この演奏中は予測し難い fact9: その医療廃棄物は予測し難いししかも中国社会だ fact10: その医療廃棄物は話し易いし加えてそれは凝結する fact11: この演奏中が御絵書きだとしたらそれは再浮上する fact12: 「この演奏中は中国社会でない」ということは確かである fact13: この演奏中が終着であるけど遣り難いということはないならばこのスポーツ新聞は香しい
void -> assump1: 以下のように仮定する。この演奏中は終着だがそれは遣り難くない; fact13 & assump1 -> int1: このスポーツ新聞は香しい; void -> assump2: 以下のように仮定する。このスポーツ新聞は香しかない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この演奏中は終着だがしかし遣り難いということはない」ということは成り立つということはない; fact6 -> int4: もし「この演奏中は終着である一方で遣り難くない」ということは事実と異なるとしたら「御絵書きだ」ということは真実である; int3 & int4 -> int5: この演奏中は御絵書きだ; int5 & fact11 -> int6: この演奏中は再浮上する; fact7 -> int7: もしもその医療廃棄物が予測し難いならば乗り過ごす; fact9 -> int8: 「その医療廃棄物は予測し難い」ということは真実である; int7 & int8 -> int9: その医療廃棄物は乗り過ごす; int9 & fact3 -> int10: この演奏中は心深し; int6 & int10 -> int11: この演奏中は再浮上するしかつ心深し; [assump2] & int11 -> hypothesis;
$facts$ = fact1: このスポーツ新聞は心深し fact2: この演奏中は心強いということはない fact3: もし仮に「その医療廃棄物は乗り過ごす」ということは事実だとすればあの演奏中は心深し fact4: もしもその医療廃棄物が終着だがしかしそれが再浮上しないならばこの演奏中は乗り過ごす fact5: もし仮に「この演奏中は心深し」ということは成り立つとすると乗り過ごす fact6: 仮に「ある物は終着だが遣り難くない」ということは偽であるなら御絵書きである fact7: なにがしかの物は予測し難いなら「乗り過ごす」ということは真実である fact8: この演奏中は予測し難い fact9: その医療廃棄物は予測し難いししかも中国社会だ fact10: その医療廃棄物は話し易いし加えてそれは凝結する fact11: この演奏中が御絵書きだとしたらそれは再浮上する fact12: 「この演奏中は中国社会でない」ということは確かである fact13: この演奏中が終着であるけど遣り難いということはないならばこのスポーツ新聞は香しい ; $hypothesis$ = もしもこのスポーツ新聞は香しかないとすると「この演奏中は再浮上するし更に心深し」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この演奏中は終着だがそれは遣り難くない; fact13 & assump1 -> int1: このスポーツ新聞は香しい; void -> assump2: 以下のように仮定する。このスポーツ新聞は香しかない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この演奏中は終着だがしかし遣り難いということはない」ということは成り立つということはない; fact6 -> int4: もし「この演奏中は終着である一方で遣り難くない」ということは事実と異なるとしたら「御絵書きだ」ということは真実である; int3 & int4 -> int5: この演奏中は御絵書きだ; int5 & fact11 -> int6: この演奏中は再浮上する; fact7 -> int7: もしもその医療廃棄物が予測し難いならば乗り過ごす; fact9 -> int8: 「その医療廃棄物は予測し難い」ということは真実である; int7 & int8 -> int9: その医療廃棄物は乗り過ごす; int9 & fact3 -> int10: この演奏中は心深し; int6 & int10 -> int11: この演奏中は再浮上するしかつ心深し; [assump2] & int11 -> hypothesis; __PROVED__
事実1: このスポーツ新聞は心深し
事実2: この演奏中は心強いということはない
事実3: もし仮に「その医療廃棄物は乗り過ごす」ということは事実だとすればあの演奏中は心深し
事実4: もしもその医療廃棄物が終着だがしかしそれが再浮上しないならばこの演奏中は乗り過ごす
事実5: もし仮に「この演奏中は心深し」ということは成り立つとすると乗り過ごす
事実6: 仮に「ある物は終着だが遣り難くない」ということは偽であるなら御絵書きである
事実7: なにがしかの物は予測し難いなら「乗り過ごす」ということは真実である
事実8: この演奏中は予測し難い
事実9: その医療廃棄物は予測し難いししかも中国社会だ
事実10: その医療廃棄物は話し易いし加えてそれは凝結する
事実11: この演奏中が御絵書きだとしたらそれは再浮上する
事実12: 「この演奏中は中国社会でない」ということは確かである
事実13: この演奏中が終着であるけど遣り難いということはないならばこのスポーツ新聞は香しい

仮説: もしもこのスポーツ新聞は香しかないとすると「この演奏中は再浮上するし更に心深し」ということは確かだ
1. 仮定1: 以下のように仮定する。この演奏中は終着だがそれは遣り難くない
2. 事実13と仮定1から、推論1: "このスポーツ新聞は香しい"が導かれる
3. 仮定2: 以下のように仮定する。このスポーツ新聞は香しかない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この演奏中は終着だがしかし遣り難いということはない」ということは成り立つということはない"が導かれる
6. 事実6から、推論4: "もし「この演奏中は終着である一方で遣り難くない」ということは事実と異なるとしたら「御絵書きだ」ということは真実である"が導かれる
7. 推論3と推論4から、推論5: "この演奏中は御絵書きだ"が導かれる
8. 推論5と事実11から、推論6: "この演奏中は再浮上する"が導かれる
9. 事実7から、推論7: "もしもその医療廃棄物が予測し難いならば乗り過ごす"が導かれる
10. 事実9から、推論8: "「その医療廃棄物は予測し難い」ということは真実である"が導かれる
11. 推論7と推論8から、推論9: "その医療廃棄物は乗り過ごす"が導かれる
12. 推論9と事実3から、推論10: "この演奏中は心深し"が導かれる
13. 推論6と推論10から、推論11: "この演奏中は再浮上するしかつ心深し"が導かれる
14. [仮定2]と推論11から、仮説が導かれる

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