その大出血はフィールドワークしないとしたら「その特別条項は唐伝領でない」ということは事実である
fact1: もしその日本オープンは唐伝領であるとしたら「その特別条項は共同処理しない」ということは成り立つ fact2: もし仮にその絞り袋が補修しないとするとその大出血は共同処理する fact3: 仮にその大出血がフィールドワークするということはないとしたら補修するということはないかあるいは首尾であるかまたはどちらもだ fact4: その大出血が届き難いならばその絞り袋はフィールドワークしない一方で届き難い fact5: もしもその日本オープンがフィールドワークしないけどそれが補修するとしたらその大出血は共同処理しない fact6: もしその絞り袋が届き難くない一方で共同処理するとすればその特別条項は唐伝領でない fact7: その絞り袋は共同処理する fact8: もしその大出血がフィールドワークするとすればそれは補修しないかまたは首尾であるかあるいは両方ともである fact9: その大出血がフィールドワークしない一方で届き難いならばあの絞り袋は唐伝領でない fact10: その大出血が補修するということはないかもしくはそれが首尾だとしたらその日本オープンは共同処理する fact11: もし仮にその日本オープンが届き難いならばその絞り袋は共同処理しない fact12: 仮にその日本オープンが共同処理するならその絞り袋は届き難くないけど共同処理する fact13: もしその特別条項が共同処理しないならそれは首尾でないかそれは唐伝領であるか両方ともだ
void -> assump1: 以下のように仮定する。その大出血はフィールドワークしない; fact3 & assump1 -> int1: その大出血は補修しないかあるいは首尾であるかまたはどちらもである; int1 & fact10 -> int2: その日本オープンは共同処理する; int2 & fact12 -> int3: その絞り袋は届き難くない一方で共同処理する; int3 & fact6 -> int4: その特別条項は唐伝領でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしその日本オープンは唐伝領であるとしたら「その特別条項は共同処理しない」ということは成り立つ fact2: もし仮にその絞り袋が補修しないとするとその大出血は共同処理する fact3: 仮にその大出血がフィールドワークするということはないとしたら補修するということはないかあるいは首尾であるかまたはどちらもだ fact4: その大出血が届き難いならばその絞り袋はフィールドワークしない一方で届き難い fact5: もしもその日本オープンがフィールドワークしないけどそれが補修するとしたらその大出血は共同処理しない fact6: もしその絞り袋が届き難くない一方で共同処理するとすればその特別条項は唐伝領でない fact7: その絞り袋は共同処理する fact8: もしその大出血がフィールドワークするとすればそれは補修しないかまたは首尾であるかあるいは両方ともである fact9: その大出血がフィールドワークしない一方で届き難いならばあの絞り袋は唐伝領でない fact10: その大出血が補修するということはないかもしくはそれが首尾だとしたらその日本オープンは共同処理する fact11: もし仮にその日本オープンが届き難いならばその絞り袋は共同処理しない fact12: 仮にその日本オープンが共同処理するならその絞り袋は届き難くないけど共同処理する fact13: もしその特別条項が共同処理しないならそれは首尾でないかそれは唐伝領であるか両方ともだ ; $hypothesis$ = その大出血はフィールドワークしないとしたら「その特別条項は唐伝領でない」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。その大出血はフィールドワークしない; fact3 & assump1 -> int1: その大出血は補修しないかあるいは首尾であるかまたはどちらもである; int1 & fact10 -> int2: その日本オープンは共同処理する; int2 & fact12 -> int3: その絞り袋は届き難くない一方で共同処理する; int3 & fact6 -> int4: その特別条項は唐伝領でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしその日本オープンは唐伝領であるとしたら「その特別条項は共同処理しない」ということは成り立つ
事実2: もし仮にその絞り袋が補修しないとするとその大出血は共同処理する
事実3: 仮にその大出血がフィールドワークするということはないとしたら補修するということはないかあるいは首尾であるかまたはどちらもだ
事実4: その大出血が届き難いならばその絞り袋はフィールドワークしない一方で届き難い
事実5: もしもその日本オープンがフィールドワークしないけどそれが補修するとしたらその大出血は共同処理しない
事実6: もしその絞り袋が届き難くない一方で共同処理するとすればその特別条項は唐伝領でない
事実7: その絞り袋は共同処理する
事実8: もしその大出血がフィールドワークするとすればそれは補修しないかまたは首尾であるかあるいは両方ともである
事実9: その大出血がフィールドワークしない一方で届き難いならばあの絞り袋は唐伝領でない
事実10: その大出血が補修するということはないかもしくはそれが首尾だとしたらその日本オープンは共同処理する
事実11: もし仮にその日本オープンが届き難いならばその絞り袋は共同処理しない
事実12: 仮にその日本オープンが共同処理するならその絞り袋は届き難くないけど共同処理する
事実13: もしその特別条項が共同処理しないならそれは首尾でないかそれは唐伝領であるか両方ともだ

仮説: その大出血はフィールドワークしないとしたら「その特別条項は唐伝領でない」ということは事実である
1. 仮定1: 以下のように仮定する。その大出血はフィールドワークしない
2. 事実3と仮定1から、推論1: "その大出血は補修しないかあるいは首尾であるかまたはどちらもである"が導かれる
3. 推論1と事実10から、推論2: "その日本オープンは共同処理する"が導かれる
4. 推論2と事実12から、推論3: "その絞り袋は届き難くない一方で共同処理する"が導かれる
5. 推論3と事実6から、推論4: "その特別条項は唐伝領でない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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