この一都は骨転移である
fact1: あの事業主利益は農地等だ fact2: 「仮に「この武蔵自身は如才無くない」ということは本当だとすればその悪し様は生活機能でない」ということは確かである fact3: 「仮にその悪し様が生活機能でないならばこの一都は骨転移であるけれど生活機能でない」ということは本当だ fact4: この武蔵自身は兼業グループでないとすると「その悪し様は生活機能である」ということは間違っている fact5: もしもあの事業主利益は農地等なら「それは慶弔休暇でない一方で等し」ということは間違いだ fact6: あの事業主利益は勝ち易い fact7: もしなにがしかの物は等しないとすれば「勝ち易くないかもしくは繁殖し易いかあるいは両方だ」ということは間違いである fact8: この武蔵自身が勝ち易いとするとあの事業主利益は勝ち易いということはないか繁殖し易いかまたは両方ともだ fact9: もしも「なんらかのものは如才無くないかあるいは兼業グループでないか両方ともである」ということは偽だとしたら「勝ち易い」ということは成り立つ fact10: 仮に「なんらかの物は慶弔休暇であるということはないがしかし等し」ということは偽であるならば等しない
fact9 -> int1: もし「この武蔵自身は如才無くないかあるいは兼業グループであるということはないかまたは両方だ」ということは正しいということはないとしたら勝ち易い; void -> assump1: 以下のように仮定する。「この武蔵自身は如才無くないかそれは兼業グループでない」ということは成り立つということはない; int1 & assump1 -> int2: この武蔵自身は勝ち易い; int2 & fact8 -> int3: あの事業主利益は勝ち易いということはないかあるいは繁殖し易いかまたは両方ともである; fact10 -> int4: もし仮に「「あの事業主利益は慶弔休暇でないがそれは等し」ということは事実だ」ということは誤りであるなら等しない; fact1 & fact5 -> int5: 「あの事業主利益は慶弔休暇でないけれど等し」ということは真実でない; int4 & int5 -> int6: あの事業主利益は等しない; fact7 -> int7: もしもあの事業主利益は等しないとしたら「それは勝ち易くないかまたは繁殖し易いかもしくは両方ともである」ということは成り立たない; int6 & int7 -> int8: 「あの事業主利益は勝ち易くないか繁殖し易いかどちらもだ」ということは真実でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この武蔵自身は如才無くないかまたはそれは兼業グループでないか両方ともである; int10 & fact2 & fact4 -> int11: その悪し様は生活機能でない; int11 & fact3 -> int12: 「この一都は骨転移であるがしかし生活機能でない」ということは成り立つ; int12 -> hypothesis;
$facts$ = fact1: あの事業主利益は農地等だ fact2: 「仮に「この武蔵自身は如才無くない」ということは本当だとすればその悪し様は生活機能でない」ということは確かである fact3: 「仮にその悪し様が生活機能でないならばこの一都は骨転移であるけれど生活機能でない」ということは本当だ fact4: この武蔵自身は兼業グループでないとすると「その悪し様は生活機能である」ということは間違っている fact5: もしもあの事業主利益は農地等なら「それは慶弔休暇でない一方で等し」ということは間違いだ fact6: あの事業主利益は勝ち易い fact7: もしなにがしかの物は等しないとすれば「勝ち易くないかもしくは繁殖し易いかあるいは両方だ」ということは間違いである fact8: この武蔵自身が勝ち易いとするとあの事業主利益は勝ち易いということはないか繁殖し易いかまたは両方ともだ fact9: もしも「なんらかのものは如才無くないかあるいは兼業グループでないか両方ともである」ということは偽だとしたら「勝ち易い」ということは成り立つ fact10: 仮に「なんらかの物は慶弔休暇であるということはないがしかし等し」ということは偽であるならば等しない ; $hypothesis$ = この一都は骨転移である ; $proof$ = 
fact9 -> int1: もし「この武蔵自身は如才無くないかあるいは兼業グループであるということはないかまたは両方だ」ということは正しいということはないとしたら勝ち易い; void -> assump1: 以下のように仮定する。「この武蔵自身は如才無くないかそれは兼業グループでない」ということは成り立つということはない; int1 & assump1 -> int2: この武蔵自身は勝ち易い; int2 & fact8 -> int3: あの事業主利益は勝ち易いということはないかあるいは繁殖し易いかまたは両方ともである; fact10 -> int4: もし仮に「「あの事業主利益は慶弔休暇でないがそれは等し」ということは事実だ」ということは誤りであるなら等しない; fact1 & fact5 -> int5: 「あの事業主利益は慶弔休暇でないけれど等し」ということは真実でない; int4 & int5 -> int6: あの事業主利益は等しない; fact7 -> int7: もしもあの事業主利益は等しないとしたら「それは勝ち易くないかまたは繁殖し易いかもしくは両方ともである」ということは成り立たない; int6 & int7 -> int8: 「あの事業主利益は勝ち易くないか繁殖し易いかどちらもだ」ということは真実でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この武蔵自身は如才無くないかまたはそれは兼業グループでないか両方ともである; int10 & fact2 & fact4 -> int11: その悪し様は生活機能でない; int11 & fact3 -> int12: 「この一都は骨転移であるがしかし生活機能でない」ということは成り立つ; int12 -> hypothesis; __PROVED__
事実1: あの事業主利益は農地等だ
事実2: 「仮に「この武蔵自身は如才無くない」ということは本当だとすればその悪し様は生活機能でない」ということは確かである
事実3: 「仮にその悪し様が生活機能でないならばこの一都は骨転移であるけれど生活機能でない」ということは本当だ
事実4: この武蔵自身は兼業グループでないとすると「その悪し様は生活機能である」ということは間違っている
事実5: もしもあの事業主利益は農地等なら「それは慶弔休暇でない一方で等し」ということは間違いだ
事実6: あの事業主利益は勝ち易い
事実7: もしなにがしかの物は等しないとすれば「勝ち易くないかもしくは繁殖し易いかあるいは両方だ」ということは間違いである
事実8: この武蔵自身が勝ち易いとするとあの事業主利益は勝ち易いということはないか繁殖し易いかまたは両方ともだ
事実9: もしも「なんらかのものは如才無くないかあるいは兼業グループでないか両方ともである」ということは偽だとしたら「勝ち易い」ということは成り立つ
事実10: 仮に「なんらかの物は慶弔休暇であるということはないがしかし等し」ということは偽であるならば等しない

仮説: この一都は骨転移である
1. 事実9から、推論1: "もし「この武蔵自身は如才無くないかあるいは兼業グループであるということはないかまたは両方だ」ということは正しいということはないとしたら勝ち易い"が導かれる
2. 仮定1: 以下のように仮定する。「この武蔵自身は如才無くないかそれは兼業グループでない」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "この武蔵自身は勝ち易い"が導かれる
4. 推論2と事実8から、推論3: "あの事業主利益は勝ち易いということはないかあるいは繁殖し易いかまたは両方ともである"が導かれる
5. 事実10から、推論4: "もし仮に「「あの事業主利益は慶弔休暇でないがそれは等し」ということは事実だ」ということは誤りであるなら等しない"が導かれる
6. 事実1と事実5から、推論5: "「あの事業主利益は慶弔休暇でないけれど等し」ということは真実でない"が導かれる
7. 推論4と推論5から、推論6: "あの事業主利益は等しない"が導かれる
8. 事実7から、推論7: "もしもあの事業主利益は等しないとしたら「それは勝ち易くないかまたは繁殖し易いかもしくは両方ともである」ということは成り立たない"が導かれる
9. 推論6と推論7から、推論8: "「あの事業主利益は勝ち易くないか繁殖し易いかどちらもだ」ということは真実でない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この武蔵自身は如才無くないかまたはそれは兼業グループでないか両方ともである"が導かれる
12. 推論10と事実2と事実4から、推論11: "その悪し様は生活機能でない"が導かれる
13. 推論11と事実3から、推論12: "「この一都は骨転移であるがしかし生活機能でない」ということは成り立つ"が導かれる
14. 推論12から、仮説が導かれる

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