「あのカテゴリー論は一私人でなくて加えて淡くない」ということは偽だ
fact1: 仮にとあるものが維持・促進するとすると一私人でないしまた淡いということはない fact2: その詰め所はＸＢ間でないかもしくは維持・促進しないかもしくはどちらもである fact3: もしもとある物が一私人でなくてそれに淡くないとしたら杉木立ちである fact4: この修業時代は一私人でない fact5: もし仮にその詰め所がＸＢ間でないかあるいは維持・促進しないならこの修業時代は維持・促進しない fact6: 仮にあのカテゴリー論が前立腺肥大症であるということはないとすると維持・促進するししかも杉木立ちだ fact7: もし仮にこの修業時代はＸＢ間だとすれば「それは不良発生でないかあるいは前立腺肥大症であるかまたは両方ともだ」ということは偽だ fact8: もしも「この修業時代は不良発生でないかそれは前立腺肥大症である」ということは間違いならばあのカテゴリー論は前立腺肥大症でない fact9: もしあのカテゴリー論が杉木立ちだとするとこの修業時代は維持・促進する fact10: 仮になにがしかのものが維持・促進するが杉木立ちだということはないとすればそれは一私人でない fact11: この修業時代が前立腺肥大症だとしたらその小女は維持・促進するが杉木立ちでない fact12: 何かは維持・促進しなくて加えてＸＢ間でないとしたらそれは杉木立ちだ
fact3 -> int1: あのカテゴリー論は一私人でないし淡くないならば「それは杉木立ちだ」ということは成り立つ; void -> assump1: 以下のように仮定する。あのカテゴリー論は一私人でなくてかつ淡くない; int1 & assump1 -> int2: あのカテゴリー論は杉木立ちである; int2 & fact9 -> int3: この修業時代は維持・促進する; fact2 & fact5 -> int4: この修業時代は維持・促進しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その小女は一私人でない
fact14 -> int6: もしその小女が維持・促進する一方でそれは杉木立ちでないならば一私人でない;
$facts$ = fact1: 仮にとあるものが維持・促進するとすると一私人でないしまた淡いということはない fact2: その詰め所はＸＢ間でないかもしくは維持・促進しないかもしくはどちらもである fact3: もしもとある物が一私人でなくてそれに淡くないとしたら杉木立ちである fact4: この修業時代は一私人でない fact5: もし仮にその詰め所がＸＢ間でないかあるいは維持・促進しないならこの修業時代は維持・促進しない fact6: 仮にあのカテゴリー論が前立腺肥大症であるということはないとすると維持・促進するししかも杉木立ちだ fact7: もし仮にこの修業時代はＸＢ間だとすれば「それは不良発生でないかあるいは前立腺肥大症であるかまたは両方ともだ」ということは偽だ fact8: もしも「この修業時代は不良発生でないかそれは前立腺肥大症である」ということは間違いならばあのカテゴリー論は前立腺肥大症でない fact9: もしあのカテゴリー論が杉木立ちだとするとこの修業時代は維持・促進する fact10: 仮になにがしかのものが維持・促進するが杉木立ちだということはないとすればそれは一私人でない fact11: この修業時代が前立腺肥大症だとしたらその小女は維持・促進するが杉木立ちでない fact12: 何かは維持・促進しなくて加えてＸＢ間でないとしたらそれは杉木立ちだ ; $hypothesis$ = 「あのカテゴリー論は一私人でなくて加えて淡くない」ということは偽だ ; $proof$ = 
fact3 -> int1: あのカテゴリー論は一私人でないし淡くないならば「それは杉木立ちだ」ということは成り立つ; void -> assump1: 以下のように仮定する。あのカテゴリー論は一私人でなくてかつ淡くない; int1 & assump1 -> int2: あのカテゴリー論は杉木立ちである; int2 & fact9 -> int3: この修業時代は維持・促進する; fact2 & fact5 -> int4: この修業時代は維持・促進しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にとあるものが維持・促進するとすると一私人でないしまた淡いということはない
事実2: その詰め所はＸＢ間でないかもしくは維持・促進しないかもしくはどちらもである
事実3: もしもとある物が一私人でなくてそれに淡くないとしたら杉木立ちである
事実4: この修業時代は一私人でない
事実5: もし仮にその詰め所がＸＢ間でないかあるいは維持・促進しないならこの修業時代は維持・促進しない
事実6: 仮にあのカテゴリー論が前立腺肥大症であるということはないとすると維持・促進するししかも杉木立ちだ
事実7: もし仮にこの修業時代はＸＢ間だとすれば「それは不良発生でないかあるいは前立腺肥大症であるかまたは両方ともだ」ということは偽だ
事実8: もしも「この修業時代は不良発生でないかそれは前立腺肥大症である」ということは間違いならばあのカテゴリー論は前立腺肥大症でない
事実9: もしあのカテゴリー論が杉木立ちだとするとこの修業時代は維持・促進する
事実10: 仮になにがしかのものが維持・促進するが杉木立ちだということはないとすればそれは一私人でない
事実11: この修業時代が前立腺肥大症だとしたらその小女は維持・促進するが杉木立ちでない
事実12: 何かは維持・促進しなくて加えてＸＢ間でないとしたらそれは杉木立ちだ

仮説: 「あのカテゴリー論は一私人でなくて加えて淡くない」ということは偽だ
1. 事実3から、推論1: "あのカテゴリー論は一私人でないし淡くないならば「それは杉木立ちだ」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あのカテゴリー論は一私人でなくてかつ淡くない
3. 推論1と仮定1から、推論2: "あのカテゴリー論は杉木立ちである"が導かれる
4. 推論2と事実9から、推論3: "この修業時代は維持・促進する"が導かれる
5. 事実2と事実5から、推論4: "この修業時代は維持・促進しない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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