その乗り降りは一息付けるかもしくは怪しかあるいは両方ともである
fact1: もし仮にその分割前が届き難くないけどそれが心優しいとすればその乗り降りは無し fact2: もしもあの背反が作業計画だとしたらその分割前は漁獲する fact3: 作業計画は刑事責任である fact4: 「その書風は刑事責任である」ということは事実と異ならない fact5: その分割前は届き難くない fact6: もし仮にその乗り降りが小難しいとすると一息付ける fact7: 仮にその書風が刑事責任だとするとあの背反は作業計画だ fact8: もしもその乗り降りが無しとするとそれは小難しい fact9: もし届き難いものが無しないとするとそれは心優しくない fact10: もしある物は漁獲するとすると「それは心優しい」ということは真実だ
fact7 & fact4 -> int1: あの背反は作業計画である; int1 & fact2 -> int2: その分割前は漁獲する; fact10 -> int3: もし仮にその分割前が漁獲すれば心優しい; int2 & int3 -> int4: その分割前は心優しい; int4 & fact5 -> int5: その分割前は届き難くない一方で心優しい; int5 & fact1 -> int6: 「その乗り降りは無し」ということは本当だ; int6 & fact8 -> int7: その乗り降りは小難しい; int7 & fact6 -> int8: その乗り降りは一息付ける; int8 -> hypothesis;
その分割前は刑事責任である
fact12 -> int9: もしその分割前が作業計画だとするとそれは刑事責任だ; fact11 -> int10: もしもその分割前が届き難いが無しないならば心優しくない;
$facts$ = fact1: もし仮にその分割前が届き難くないけどそれが心優しいとすればその乗り降りは無し fact2: もしもあの背反が作業計画だとしたらその分割前は漁獲する fact3: 作業計画は刑事責任である fact4: 「その書風は刑事責任である」ということは事実と異ならない fact5: その分割前は届き難くない fact6: もし仮にその乗り降りが小難しいとすると一息付ける fact7: 仮にその書風が刑事責任だとするとあの背反は作業計画だ fact8: もしもその乗り降りが無しとするとそれは小難しい fact9: もし届き難いものが無しないとするとそれは心優しくない fact10: もしある物は漁獲するとすると「それは心優しい」ということは真実だ ; $hypothesis$ = その乗り降りは一息付けるかもしくは怪しかあるいは両方ともである ; $proof$ = 
fact7 & fact4 -> int1: あの背反は作業計画である; int1 & fact2 -> int2: その分割前は漁獲する; fact10 -> int3: もし仮にその分割前が漁獲すれば心優しい; int2 & int3 -> int4: その分割前は心優しい; int4 & fact5 -> int5: その分割前は届き難くない一方で心優しい; int5 & fact1 -> int6: 「その乗り降りは無し」ということは本当だ; int6 & fact8 -> int7: その乗り降りは小難しい; int7 & fact6 -> int8: その乗り降りは一息付ける; int8 -> hypothesis; __PROVED__
事実1: もし仮にその分割前が届き難くないけどそれが心優しいとすればその乗り降りは無し
事実2: もしもあの背反が作業計画だとしたらその分割前は漁獲する
事実3: 作業計画は刑事責任である
事実4: 「その書風は刑事責任である」ということは事実と異ならない
事実5: その分割前は届き難くない
事実6: もし仮にその乗り降りが小難しいとすると一息付ける
事実7: 仮にその書風が刑事責任だとするとあの背反は作業計画だ
事実8: もしもその乗り降りが無しとするとそれは小難しい
事実9: もし届き難いものが無しないとするとそれは心優しくない
事実10: もしある物は漁獲するとすると「それは心優しい」ということは真実だ

仮説: その乗り降りは一息付けるかもしくは怪しかあるいは両方ともである
1. 事実7と事実4から、推論1: "あの背反は作業計画である"が導かれる
2. 推論1と事実2から、推論2: "その分割前は漁獲する"が導かれる
3. 事実10から、推論3: "もし仮にその分割前が漁獲すれば心優しい"が導かれる
4. 推論2と推論3から、推論4: "その分割前は心優しい"が導かれる
5. 推論4と事実5から、推論5: "その分割前は届き難くない一方で心優しい"が導かれる
6. 推論5と事実1から、推論6: "「その乗り降りは無し」ということは本当だ"が導かれる
7. 推論6と事実8から、推論7: "その乗り降りは小難しい"が導かれる
8. 推論7と事実6から、推論8: "その乗り降りは一息付ける"が導かれる
9. 推論8から、仮説が導かれる

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