あの汚泥中はマクロ管理だ
fact1: もしもあの汚泥中がマクロ管理だということはないとすればそれは由々しくないしまた掃討しない fact2: 仮に「その倉富勇三郎日記はトライアル版であるかあるいは御夕食であるかあるいは両方である」ということは成り立つということはないとすれば「それは代襲相続でない」ということは成り立つ fact3: もしもとあるものは上り易いということはないとすると「あの汚泥中は由々しいけれどそれは掃討しない」ということは間違いだ fact4: 「仮にその倉富勇三郎日記は読み得ないとすれば「その倉富勇三郎日記はトライアル版であるかそれは御夕食であるか両方だ」ということは成り立たない」ということは確かである fact5: 「上り易くない」ものはある fact6: もし仮になにかは代襲相続でないなら積まないがしかし愚痴る fact7: もし仮に「愚痴る」ものがあるならあの胡瓜は内容物でない fact8: 「あの汚泥中は上り易いけど渡り始めない」ということは偽だ fact9: あの汚泥中は由々しくない fact10: この物件価格が内容物でないならばそれは上り易いしまたそれはマクロ管理だ fact11: その倉富勇三郎日記は読み得ない fact12: とあるものはマクロ管理だとすると「掃討する」ということは正しい fact13: もしも「上り易くない」ものはあるとしたら「あの汚泥中が由々しくないしさらにそれは掃討しない」ということは偽である fact14: もしとある物が愚痴らないかもしくは積まないとするとそれは内容物でない fact15: もしもこの慢性疲労が書き上がるということはないとするとマクロ管理だということはなくて人懐こくない fact16: もし仮に「何かは内容物であるしかつそれは上り易い」ということは誤っているとしたら「それはマクロ管理でない」ということは真実である
void -> assump1: 以下のように仮定する。あの汚泥中はマクロ管理でない; fact1 & assump1 -> int1: あの汚泥中は由々しくないしその上掃討しない; fact13 & fact5 -> int2: 「あの汚泥中は由々しくないし掃討するということはない」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact13 & fact5 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの汚泥中はマクロ管理でない
fact17 -> int4: 仮に「あの汚泥中は内容物であるしそれは上り易い」ということは嘘であるとしたらマクロ管理でない; fact19 -> int5: 仮にその倉富勇三郎日記は代襲相続でないならば積まない一方で愚痴る; fact21 & fact18 -> int6: 「「その倉富勇三郎日記はトライアル版であるかあるいはそれは御夕食である」ということは成り立つ」ということは間違いである; fact22 & int6 -> int7: その倉富勇三郎日記は代襲相続でない; int5 & int7 -> int8: 「その倉富勇三郎日記は積まないが愚痴る」ということは成り立つ; int8 -> int9: 「その倉富勇三郎日記は愚痴る」ということは本当である; int9 -> int10: 「愚痴る」ものはある; int10 & fact20 -> int11: あの胡瓜は内容物でない; int11 -> int12: 「内容物でない」物はある;
$facts$ = fact1: もしもあの汚泥中がマクロ管理だということはないとすればそれは由々しくないしまた掃討しない fact2: 仮に「その倉富勇三郎日記はトライアル版であるかあるいは御夕食であるかあるいは両方である」ということは成り立つということはないとすれば「それは代襲相続でない」ということは成り立つ fact3: もしもとあるものは上り易いということはないとすると「あの汚泥中は由々しいけれどそれは掃討しない」ということは間違いだ fact4: 「仮にその倉富勇三郎日記は読み得ないとすれば「その倉富勇三郎日記はトライアル版であるかそれは御夕食であるか両方だ」ということは成り立たない」ということは確かである fact5: 「上り易くない」ものはある fact6: もし仮になにかは代襲相続でないなら積まないがしかし愚痴る fact7: もし仮に「愚痴る」ものがあるならあの胡瓜は内容物でない fact8: 「あの汚泥中は上り易いけど渡り始めない」ということは偽だ fact9: あの汚泥中は由々しくない fact10: この物件価格が内容物でないならばそれは上り易いしまたそれはマクロ管理だ fact11: その倉富勇三郎日記は読み得ない fact12: とあるものはマクロ管理だとすると「掃討する」ということは正しい fact13: もしも「上り易くない」ものはあるとしたら「あの汚泥中が由々しくないしさらにそれは掃討しない」ということは偽である fact14: もしとある物が愚痴らないかもしくは積まないとするとそれは内容物でない fact15: もしもこの慢性疲労が書き上がるということはないとするとマクロ管理だということはなくて人懐こくない fact16: もし仮に「何かは内容物であるしかつそれは上り易い」ということは誤っているとしたら「それはマクロ管理でない」ということは真実である ; $hypothesis$ = あの汚泥中はマクロ管理だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの汚泥中はマクロ管理でない; fact1 & assump1 -> int1: あの汚泥中は由々しくないしその上掃討しない; fact13 & fact5 -> int2: 「あの汚泥中は由々しくないし掃討するということはない」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもあの汚泥中がマクロ管理だということはないとすればそれは由々しくないしまた掃討しない
事実2: 仮に「その倉富勇三郎日記はトライアル版であるかあるいは御夕食であるかあるいは両方である」ということは成り立つということはないとすれば「それは代襲相続でない」ということは成り立つ
事実3: もしもとあるものは上り易いということはないとすると「あの汚泥中は由々しいけれどそれは掃討しない」ということは間違いだ
事実4: 「仮にその倉富勇三郎日記は読み得ないとすれば「その倉富勇三郎日記はトライアル版であるかそれは御夕食であるか両方だ」ということは成り立たない」ということは確かである
事実5: 「上り易くない」ものはある
事実6: もし仮になにかは代襲相続でないなら積まないがしかし愚痴る
事実7: もし仮に「愚痴る」ものがあるならあの胡瓜は内容物でない
事実8: 「あの汚泥中は上り易いけど渡り始めない」ということは偽だ
事実9: あの汚泥中は由々しくない
事実10: この物件価格が内容物でないならばそれは上り易いしまたそれはマクロ管理だ
事実11: その倉富勇三郎日記は読み得ない
事実12: とあるものはマクロ管理だとすると「掃討する」ということは正しい
事実13: もしも「上り易くない」ものはあるとしたら「あの汚泥中が由々しくないしさらにそれは掃討しない」ということは偽である
事実14: もしとある物が愚痴らないかもしくは積まないとするとそれは内容物でない
事実15: もしもこの慢性疲労が書き上がるということはないとするとマクロ管理だということはなくて人懐こくない
事実16: もし仮に「何かは内容物であるしかつそれは上り易い」ということは誤っているとしたら「それはマクロ管理でない」ということは真実である

仮説: あの汚泥中はマクロ管理だ
1. 仮定1: 以下のように仮定する。あの汚泥中はマクロ管理でない
2. 事実1と仮定1から、推論1: "あの汚泥中は由々しくないしその上掃討しない"が導かれる
3. 事実13と事実5から、推論2: "「あの汚泥中は由々しくないし掃討するということはない」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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