「この集は御忙しくないがしかしハンガーである」ということは成り立たない
fact1: その積極的使用は同志達である fact2: その積極的使用はＰ．である fact3: もし仮にある物が清拭するとすれば縦貫するということはないし加えてＰ．だ fact4: もしこの集がＰ．だとすれば御忙しい fact5: 仮にこの集が御忙しくないけどそれがハンガーならば供養する fact6: もしも何らかの物が焼灼するとしたら免疫機能である fact7: もしも何かはヘビースモーカーであるならば縦貫する fact8: もしこの集が供養すればその積極的使用はヘビースモーカーだ fact9: この仮想現実はＰ．ならば「この集は縦貫しないけれどヘビースモーカーだ」ということは成り立つ fact10: この集はヘビースモーカーだとしたら「その積極的使用は供養する」ということは成り立つ fact11: 「もしもその心身一如が改正作業だとしたらその心身一如が相次がないしその上それははしたなくない」ということは成り立つ fact12: もしもその積極的使用が同志達なら清拭する fact13: もしとあるものは同志達でないならばＰ．だ fact14: もし仮にその心身一如がはしたなくないとすればそれは焼灼するしまた御姫さんだ fact15: もし仮にその苦情等が焼き難いならばこの仮想現実は清拭しないかまたは同志達でないかもしくはどちらもだ fact16: もしも「この集は御忙しくてそれはハンガーである」ということは事実であるとすればそれは供養する fact17: その心身一如は改正作業だ fact18: もし仮にその心身一如が免疫機能だとすればその苦情等は焼き難い
void -> assump1: 以下のように仮定する。この集は御忙しいということはない一方でハンガーである; fact5 & assump1 -> int1: この集は供養する; int1 & fact8 -> int2: その積極的使用はヘビースモーカーである; fact7 -> int3: その積極的使用はヘビースモーカーであるとすれば縦貫する; int2 & int3 -> int4: その積極的使用は縦貫する; fact12 & fact1 -> int5: その積極的使用は清拭する; fact3 -> int6: 仮にその積極的使用が清拭するとするとそれは縦貫しなくて加えてそれはＰ．である; int5 & int6 -> int7: その積極的使用は縦貫しないけれどＰ．である; int7 -> int8: その積極的使用は縦貫しない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その積極的使用は供養する
fact20 -> int10: 仮にその心身一如は焼灼するとしたら「それは免疫機能だ」ということは成り立つ; fact23 & fact21 -> int11: その心身一如が相次はないしそれにはしたないということはない; int11 -> int12: その心身一如ははしたなくない; fact25 & int12 -> int13: その心身一如は焼灼するしそれは御姫さんである; int13 -> int14: その心身一如は焼灼する; int10 & int14 -> int15: その心身一如は免疫機能である; fact24 & int15 -> int16: その苦情等は焼き難い; fact27 & int16 -> int17: この仮想現実は清拭しないかあるいは同志達だということはないかあるいはどちらもだ; fact19 -> int18: もしもこの仮想現実が同志達でないとすればＰ．である;
$facts$ = fact1: その積極的使用は同志達である fact2: その積極的使用はＰ．である fact3: もし仮にある物が清拭するとすれば縦貫するということはないし加えてＰ．だ fact4: もしこの集がＰ．だとすれば御忙しい fact5: 仮にこの集が御忙しくないけどそれがハンガーならば供養する fact6: もしも何らかの物が焼灼するとしたら免疫機能である fact7: もしも何かはヘビースモーカーであるならば縦貫する fact8: もしこの集が供養すればその積極的使用はヘビースモーカーだ fact9: この仮想現実はＰ．ならば「この集は縦貫しないけれどヘビースモーカーだ」ということは成り立つ fact10: この集はヘビースモーカーだとしたら「その積極的使用は供養する」ということは成り立つ fact11: 「もしもその心身一如が改正作業だとしたらその心身一如が相次がないしその上それははしたなくない」ということは成り立つ fact12: もしもその積極的使用が同志達なら清拭する fact13: もしとあるものは同志達でないならばＰ．だ fact14: もし仮にその心身一如がはしたなくないとすればそれは焼灼するしまた御姫さんだ fact15: もし仮にその苦情等が焼き難いならばこの仮想現実は清拭しないかまたは同志達でないかもしくはどちらもだ fact16: もしも「この集は御忙しくてそれはハンガーである」ということは事実であるとすればそれは供養する fact17: その心身一如は改正作業だ fact18: もし仮にその心身一如が免疫機能だとすればその苦情等は焼き難い ; $hypothesis$ = 「この集は御忙しくないがしかしハンガーである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この集は御忙しいということはない一方でハンガーである; fact5 & assump1 -> int1: この集は供養する; int1 & fact8 -> int2: その積極的使用はヘビースモーカーである; fact7 -> int3: その積極的使用はヘビースモーカーであるとすれば縦貫する; int2 & int3 -> int4: その積極的使用は縦貫する; fact12 & fact1 -> int5: その積極的使用は清拭する; fact3 -> int6: 仮にその積極的使用が清拭するとするとそれは縦貫しなくて加えてそれはＰ．である; int5 & int6 -> int7: その積極的使用は縦貫しないけれどＰ．である; int7 -> int8: その積極的使用は縦貫しない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その積極的使用は同志達である
事実2: その積極的使用はＰ．である
事実3: もし仮にある物が清拭するとすれば縦貫するということはないし加えてＰ．だ
事実4: もしこの集がＰ．だとすれば御忙しい
事実5: 仮にこの集が御忙しくないけどそれがハンガーならば供養する
事実6: もしも何らかの物が焼灼するとしたら免疫機能である
事実7: もしも何かはヘビースモーカーであるならば縦貫する
事実8: もしこの集が供養すればその積極的使用はヘビースモーカーだ
事実9: この仮想現実はＰ．ならば「この集は縦貫しないけれどヘビースモーカーだ」ということは成り立つ
事実10: この集はヘビースモーカーだとしたら「その積極的使用は供養する」ということは成り立つ
事実11: 「もしもその心身一如が改正作業だとしたらその心身一如が相次がないしその上それははしたなくない」ということは成り立つ
事実12: もしもその積極的使用が同志達なら清拭する
事実13: もしとあるものは同志達でないならばＰ．だ
事実14: もし仮にその心身一如がはしたなくないとすればそれは焼灼するしまた御姫さんだ
事実15: もし仮にその苦情等が焼き難いならばこの仮想現実は清拭しないかまたは同志達でないかもしくはどちらもだ
事実16: もしも「この集は御忙しくてそれはハンガーである」ということは事実であるとすればそれは供養する
事実17: その心身一如は改正作業だ
事実18: もし仮にその心身一如が免疫機能だとすればその苦情等は焼き難い

仮説: 「この集は御忙しくないがしかしハンガーである」ということは成り立たない
1. 仮定1: 以下のように仮定する。この集は御忙しいということはない一方でハンガーである
2. 事実5と仮定1から、推論1: "この集は供養する"が導かれる
3. 推論1と事実8から、推論2: "その積極的使用はヘビースモーカーである"が導かれる
4. 事実7から、推論3: "その積極的使用はヘビースモーカーであるとすれば縦貫する"が導かれる
5. 推論2と推論3から、推論4: "その積極的使用は縦貫する"が導かれる
6. 事実12と事実1から、推論5: "その積極的使用は清拭する"が導かれる
7. 事実3から、推論6: "仮にその積極的使用が清拭するとするとそれは縦貫しなくて加えてそれはＰ．である"が導かれる
8. 推論5と推論6から、推論7: "その積極的使用は縦貫しないけれどＰ．である"が導かれる
9. 推論7から、推論8: "その積極的使用は縦貫しない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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