この宿命遺伝子は武士でない一方で身分行為意思だ
fact1: もしこの宿命遺伝子が艶めかしくないとするとあの自白は身分行為意思である fact2: 仮にあの自白が武士だということはないとすればこの伐出は艶めかしい fact3: もし仮にこの宿命遺伝子が身分行為意思でないとするとこの伐出は身分行為意思でないけれど武士だ fact4: 仮にこの伐出が武士でないならこの宿命遺伝子は武士でないけれど身分行為意思である fact5: 監督さんは武士でない fact6: 仮にあの自白が分宿しないとしたらこの伐出は監督さんである fact7: もしなにがしかの物は分宿するとすると「それは監督さんでない」ということは本当である fact8: もし仮にあの自白が艶めかしいとしたらこの伐出は監督さんである fact9: もしあるものは使い為さるとしたら「伸ばし易くない」ということは本当である fact10: 仮にこの宿命遺伝子が艶めかしいとすればあの自白は身分行為意思である fact11: あの自白は艶めかしいかあるいは分宿しない fact12: この伐出は身分行為意思だ
fact11 & fact8 & fact6 -> int1: この伐出は監督さんだ; fact5 -> int2: もしもこの伐出が監督さんならそれは武士でない; int1 & int2 -> int3: この伐出は武士でない; int3 & fact4 -> hypothesis;
fact11 & fact8 & fact6 -> int1: {C}{c}; fact5 -> int2: {C}{c} -> ¬{D}{c}; int1 & int2 -> int3: ¬{D}{c}; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしこの宿命遺伝子が艶めかしくないとするとあの自白は身分行為意思である fact2: 仮にあの自白が武士だということはないとすればこの伐出は艶めかしい fact3: もし仮にこの宿命遺伝子が身分行為意思でないとするとこの伐出は身分行為意思でないけれど武士だ fact4: 仮にこの伐出が武士でないならこの宿命遺伝子は武士でないけれど身分行為意思である fact5: 監督さんは武士でない fact6: 仮にあの自白が分宿しないとしたらこの伐出は監督さんである fact7: もしなにがしかの物は分宿するとすると「それは監督さんでない」ということは本当である fact8: もし仮にあの自白が艶めかしいとしたらこの伐出は監督さんである fact9: もしあるものは使い為さるとしたら「伸ばし易くない」ということは本当である fact10: 仮にこの宿命遺伝子が艶めかしいとすればあの自白は身分行為意思である fact11: あの自白は艶めかしいかあるいは分宿しない fact12: この伐出は身分行為意思だ ; $hypothesis$ = この宿命遺伝子は武士でない一方で身分行為意思だ ; $proof$ = 
fact11 & fact8 & fact6 -> int1: この伐出は監督さんだ; fact5 -> int2: もしもこの伐出が監督さんならそれは武士でない; int1 & int2 -> int3: この伐出は武士でない; int3 & fact4 -> hypothesis; __PROVED__
事実1: もしこの宿命遺伝子が艶めかしくないとするとあの自白は身分行為意思である
事実2: 仮にあの自白が武士だということはないとすればこの伐出は艶めかしい
事実3: もし仮にこの宿命遺伝子が身分行為意思でないとするとこの伐出は身分行為意思でないけれど武士だ
事実4: 仮にこの伐出が武士でないならこの宿命遺伝子は武士でないけれど身分行為意思である
事実5: 監督さんは武士でない
事実6: 仮にあの自白が分宿しないとしたらこの伐出は監督さんである
事実7: もしなにがしかの物は分宿するとすると「それは監督さんでない」ということは本当である
事実8: もし仮にあの自白が艶めかしいとしたらこの伐出は監督さんである
事実9: もしあるものは使い為さるとしたら「伸ばし易くない」ということは本当である
事実10: 仮にこの宿命遺伝子が艶めかしいとすればあの自白は身分行為意思である
事実11: あの自白は艶めかしいかあるいは分宿しない
事実12: この伐出は身分行為意思だ

仮説: この宿命遺伝子は武士でない一方で身分行為意思だ
1. 事実11と事実8と事実6から、推論1: "この伐出は監督さんだ"が導かれる
2. 事実5から、推論2: "もしもこの伐出が監督さんならそれは武士でない"が導かれる
3. 推論1と推論2から、推論3: "この伐出は武士でない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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