「この短期賃貸借制度は陳腐化する」ということは事実である
fact1: もしも「「公益的活動でないけれど小倉芝だ」ということは成り立たない」物はあれば「この水雷屯は公益的活動だ」ということは事実だ fact2: 「もし「「一儲けするということはないし鋸歯だ」ということは間違っている」ものがあるとするとこの社交性は一儲けする」ということは間違いでない fact3: 「とある物は陳腐化するがしかしそれは公益的活動でない」ということは正しくないとしたらそれは陳腐化しない fact4: 仮にこの水雷屯が収まり切らないならばそれは公益的活動でない fact5: 仮にこの社交性が受け難いならばこの短期賃貸借制度は陳腐化する fact6: 「公益的活動である」ものがあるとするとこの水雷屯は公益的活動である fact7: この水雷屯は長生き出来るかもしくは走るということはない fact8: 「公益的活動でないけれど小倉芝である」物はある fact9: 仮に「反目し合わない」物はあるとすると「この社交性は陳腐化するが公益的活動でない」ということは偽である fact10: 仮になんらかの物は反目し合わないとしたらそれは陳腐化しない fact11: この社交性が予防薬であるとしたらこの水雷屯は受け難い fact12: もしある物が反目し合うなら受け難い fact13: もし仮に「なにかは予防薬であるしそれは収まり切る」ということは間違っているとすると公益的活動でない fact14: もしもこの社交性は反目し合うということはないとしたら「この水雷屯は予防薬で収まり切る」ということは成り立たない fact15: もしなにかは反対しないなら受け難くて更にそれは小倉芝である fact16: この社交性が収まり切るならそれは受け難い fact17: 「「公益的活動だし加えて小倉芝だ」ということは事実と異なる」ものはある fact18: 仮にこの社交性が受け難くないとするとこの短期賃貸借制度は反目し合わなくて公益的活動でない fact19: もしもこの社交性が陳腐化するならこの短期賃貸借制度は反目し合う fact20: もしもなんらかの物が収まり切らないとしたらそれは公益的活動でない fact21: 「もしこの水雷屯が長生き出来るとしたらこの水雷屯は反対しない」ということは成り立つ fact22: 「「公益的活動でないし小倉芝である」ということは嘘な」ものはある fact23: なにかは走らないとすると反対するということはない fact24: もしこの社交性が反対するとすればそれは受け難いということはないしそれに小倉芝だ
void -> assump1: 以下のように仮定する。この社交性は反目し合わない; fact14 & assump1 -> int1: 「この水雷屯は予防薬であるしおまけに収まり切る」ということは間違っている; fact13 -> int2: もし仮に「「この水雷屯は予防薬であるしおまけにそれは収まり切る」ということは成り立つ」ということは真実でないならそれは公益的活動でない; int1 & int2 -> int3: この水雷屯は公益的活動だということはない; fact1 & fact22 -> int4: この水雷屯は公益的活動だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この社交性は反目し合う; fact12 -> int7: もし仮にこの社交性が反目し合うならそれは受け難い; int6 & int7 -> int8: この社交性は受け難い; int8 & fact5 -> hypothesis;
この社交性は陳腐化するということはない
fact29 -> int9: 仮に「この社交性は陳腐化するがしかしそれは公益的活動でない」ということは嘘ならば陳腐化しない; fact28 -> int10: もし仮にこの水雷屯が反対しないとするとそれは受け難いし小倉芝である; fact26 -> int11: 「この水雷屯は走らない」ということは正しいならば反対しない; fact25 & fact27 & int11 -> int12: この水雷屯は反対しない; int10 & int12 -> int13: この水雷屯は受け難くて小倉芝である; int13 -> int14: 「この水雷屯は受け難い」ということは成り立つ;
$facts$ = fact1: もしも「「公益的活動でないけれど小倉芝だ」ということは成り立たない」物はあれば「この水雷屯は公益的活動だ」ということは事実だ fact2: 「もし「「一儲けするということはないし鋸歯だ」ということは間違っている」ものがあるとするとこの社交性は一儲けする」ということは間違いでない fact3: 「とある物は陳腐化するがしかしそれは公益的活動でない」ということは正しくないとしたらそれは陳腐化しない fact4: 仮にこの水雷屯が収まり切らないならばそれは公益的活動でない fact5: 仮にこの社交性が受け難いならばこの短期賃貸借制度は陳腐化する fact6: 「公益的活動である」ものがあるとするとこの水雷屯は公益的活動である fact7: この水雷屯は長生き出来るかもしくは走るということはない fact8: 「公益的活動でないけれど小倉芝である」物はある fact9: 仮に「反目し合わない」物はあるとすると「この社交性は陳腐化するが公益的活動でない」ということは偽である fact10: 仮になんらかの物は反目し合わないとしたらそれは陳腐化しない fact11: この社交性が予防薬であるとしたらこの水雷屯は受け難い fact12: もしある物が反目し合うなら受け難い fact13: もし仮に「なにかは予防薬であるしそれは収まり切る」ということは間違っているとすると公益的活動でない fact14: もしもこの社交性は反目し合うということはないとしたら「この水雷屯は予防薬で収まり切る」ということは成り立たない fact15: もしなにかは反対しないなら受け難くて更にそれは小倉芝である fact16: この社交性が収まり切るならそれは受け難い fact17: 「「公益的活動だし加えて小倉芝だ」ということは事実と異なる」ものはある fact18: 仮にこの社交性が受け難くないとするとこの短期賃貸借制度は反目し合わなくて公益的活動でない fact19: もしもこの社交性が陳腐化するならこの短期賃貸借制度は反目し合う fact20: もしもなんらかの物が収まり切らないとしたらそれは公益的活動でない fact21: 「もしこの水雷屯が長生き出来るとしたらこの水雷屯は反対しない」ということは成り立つ fact22: 「「公益的活動でないし小倉芝である」ということは嘘な」ものはある fact23: なにかは走らないとすると反対するということはない fact24: もしこの社交性が反対するとすればそれは受け難いということはないしそれに小倉芝だ ; $hypothesis$ = 「この短期賃貸借制度は陳腐化する」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この社交性は反目し合わない; fact14 & assump1 -> int1: 「この水雷屯は予防薬であるしおまけに収まり切る」ということは間違っている; fact13 -> int2: もし仮に「「この水雷屯は予防薬であるしおまけにそれは収まり切る」ということは成り立つ」ということは真実でないならそれは公益的活動でない; int1 & int2 -> int3: この水雷屯は公益的活動だということはない; fact1 & fact22 -> int4: この水雷屯は公益的活動だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この社交性は反目し合う; fact12 -> int7: もし仮にこの社交性が反目し合うならそれは受け難い; int6 & int7 -> int8: この社交性は受け難い; int8 & fact5 -> hypothesis; __PROVED__
事実1: もしも「「公益的活動でないけれど小倉芝だ」ということは成り立たない」物はあれば「この水雷屯は公益的活動だ」ということは事実だ
事実2: 「もし「「一儲けするということはないし鋸歯だ」ということは間違っている」ものがあるとするとこの社交性は一儲けする」ということは間違いでない
事実3: 「とある物は陳腐化するがしかしそれは公益的活動でない」ということは正しくないとしたらそれは陳腐化しない
事実4: 仮にこの水雷屯が収まり切らないならばそれは公益的活動でない
事実5: 仮にこの社交性が受け難いならばこの短期賃貸借制度は陳腐化する
事実6: 「公益的活動である」ものがあるとするとこの水雷屯は公益的活動である
事実7: この水雷屯は長生き出来るかもしくは走るということはない
事実8: 「公益的活動でないけれど小倉芝である」物はある
事実9: 仮に「反目し合わない」物はあるとすると「この社交性は陳腐化するが公益的活動でない」ということは偽である
事実10: 仮になんらかの物は反目し合わないとしたらそれは陳腐化しない
事実11: この社交性が予防薬であるとしたらこの水雷屯は受け難い
事実12: もしある物が反目し合うなら受け難い
事実13: もし仮に「なにかは予防薬であるしそれは収まり切る」ということは間違っているとすると公益的活動でない
事実14: もしもこの社交性は反目し合うということはないとしたら「この水雷屯は予防薬で収まり切る」ということは成り立たない
事実15: もしなにかは反対しないなら受け難くて更にそれは小倉芝である
事実16: この社交性が収まり切るならそれは受け難い
事実17: 「「公益的活動だし加えて小倉芝だ」ということは事実と異なる」ものはある
事実18: 仮にこの社交性が受け難くないとするとこの短期賃貸借制度は反目し合わなくて公益的活動でない
事実19: もしもこの社交性が陳腐化するならこの短期賃貸借制度は反目し合う
事実20: もしもなんらかの物が収まり切らないとしたらそれは公益的活動でない
事実21: 「もしこの水雷屯が長生き出来るとしたらこの水雷屯は反対しない」ということは成り立つ
事実22: 「「公益的活動でないし小倉芝である」ということは嘘な」ものはある
事実23: なにかは走らないとすると反対するということはない
事実24: もしこの社交性が反対するとすればそれは受け難いということはないしそれに小倉芝だ

仮説: 「この短期賃貸借制度は陳腐化する」ということは事実である
1. 仮定1: 以下のように仮定する。この社交性は反目し合わない
2. 事実14と仮定1から、推論1: "「この水雷屯は予防薬であるしおまけに収まり切る」ということは間違っている"が導かれる
3. 事実13から、推論2: "もし仮に「「この水雷屯は予防薬であるしおまけにそれは収まり切る」ということは成り立つ」ということは真実でないならそれは公益的活動でない"が導かれる
4. 推論1と推論2から、推論3: "この水雷屯は公益的活動だということはない"が導かれる
5. 事実1と事実22から、推論4: "この水雷屯は公益的活動だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この社交性は反目し合う"が導かれる
8. 事実12から、推論7: "もし仮にこの社交性が反目し合うならそれは受け難い"が導かれる
9. 推論6と推論7から、推論8: "この社交性は受け難い"が導かれる
10. 推論8と事実5から、仮説が導かれる

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