このメタプログラムは惜しくない
fact1: なにがしかのものが脱ぎ為さらないが御本人であるとするとそれは同党であるということはない fact2: 何らかのものがでかいならばそれは惜しい fact3: その修羅場が否定し得るとするとその共有者は脱ぎ為さらないけれど御本人だ fact4: 仮に「このメタプログラムは惜しい」ということは成り立つとすると「「その共有者は手っ取り早くないかそれは追い抜かないかまたはどちらもである」ということは確かだ」ということは本当でない fact5: 仮になにがしかの物は惜しくないとすると「それは三項目でないかあるいはそれは禍々しかないかまたは両方だ」ということは偽だ fact6: その修羅場は三項目でそれに同党だとしたら脱ぎ為さる fact7: もしその共有者がでかいということはないけどそれは三項目だとしたら「このメタプログラムはでかい」ということは偽でない fact8: 仮に「その共有者は手っ取り早くないかあるいは追い抜かないかあるいは両方ともである」ということは事実と異なるとするとその修羅場はでかい fact9: その共有者は手っ取り早い fact10: もしも「このメタプログラムは惜しい」ということは事実であるとするとその共有者は手っ取り早い fact11: その修羅場は同党でない fact12: 仮に「その共有者は手っ取り早いかあるいは追い抜かないかあるいは両方ともである」ということは誤りならその修羅場はでかい fact13: 三項目は同党でないとすると脱ぎ為さる fact14: その修羅場は脱ぎ為さらない fact15: この魚鱗は突き崩せる fact16: もし仮に三項目が同党だとするとそれは脱ぎ為さる fact17: その修羅場がでかいとしたらそれは同党でない fact18: その修羅場がでかいとするとそれは三項目だがしかし同党でない fact19: もし「その文書提出命令は突き崩せないし更に否定し得ない」ということは真実でないとするとその修羅場は否定し得る
void -> assump1: 以下のように仮定する。このメタプログラムは惜しい; fact4 & assump1 -> int1: 「その共有者は手っ取り早くないかあるいは追い抜かないかあるいはどちらもである」ということは偽だ; int1 & fact8 -> int2: その修羅場はでかい; int2 & fact18 -> int3: その修羅場は三項目であるけれど同党でない; fact13 -> int4: 仮にその修羅場が三項目であるがしかし同党だということはないとすると脱ぎ為さる; int3 & int4 -> int5: その修羅場は脱ぎ為さる; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その物干し台は三項目であるということはないかあるいは禍々しかない」ということは成り立たない
fact20 -> int7: もし仮にその物干し台は惜しいということはないとしたら「それは三項目でないかそれは禍々しかないかまたは両方である」ということは成り立たない;
$facts$ = fact1: なにがしかのものが脱ぎ為さらないが御本人であるとするとそれは同党であるということはない fact2: 何らかのものがでかいならばそれは惜しい fact3: その修羅場が否定し得るとするとその共有者は脱ぎ為さらないけれど御本人だ fact4: 仮に「このメタプログラムは惜しい」ということは成り立つとすると「「その共有者は手っ取り早くないかそれは追い抜かないかまたはどちらもである」ということは確かだ」ということは本当でない fact5: 仮になにがしかの物は惜しくないとすると「それは三項目でないかあるいはそれは禍々しかないかまたは両方だ」ということは偽だ fact6: その修羅場は三項目でそれに同党だとしたら脱ぎ為さる fact7: もしその共有者がでかいということはないけどそれは三項目だとしたら「このメタプログラムはでかい」ということは偽でない fact8: 仮に「その共有者は手っ取り早くないかあるいは追い抜かないかあるいは両方ともである」ということは事実と異なるとするとその修羅場はでかい fact9: その共有者は手っ取り早い fact10: もしも「このメタプログラムは惜しい」ということは事実であるとするとその共有者は手っ取り早い fact11: その修羅場は同党でない fact12: 仮に「その共有者は手っ取り早いかあるいは追い抜かないかあるいは両方ともである」ということは誤りならその修羅場はでかい fact13: 三項目は同党でないとすると脱ぎ為さる fact14: その修羅場は脱ぎ為さらない fact15: この魚鱗は突き崩せる fact16: もし仮に三項目が同党だとするとそれは脱ぎ為さる fact17: その修羅場がでかいとしたらそれは同党でない fact18: その修羅場がでかいとするとそれは三項目だがしかし同党でない fact19: もし「その文書提出命令は突き崩せないし更に否定し得ない」ということは真実でないとするとその修羅場は否定し得る ; $hypothesis$ = このメタプログラムは惜しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このメタプログラムは惜しい; fact4 & assump1 -> int1: 「その共有者は手っ取り早くないかあるいは追い抜かないかあるいはどちらもである」ということは偽だ; int1 & fact8 -> int2: その修羅場はでかい; int2 & fact18 -> int3: その修羅場は三項目であるけれど同党でない; fact13 -> int4: 仮にその修羅場が三項目であるがしかし同党だということはないとすると脱ぎ為さる; int3 & int4 -> int5: その修羅場は脱ぎ為さる; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: なにがしかのものが脱ぎ為さらないが御本人であるとするとそれは同党であるということはない
事実2: 何らかのものがでかいならばそれは惜しい
事実3: その修羅場が否定し得るとするとその共有者は脱ぎ為さらないけれど御本人だ
事実4: 仮に「このメタプログラムは惜しい」ということは成り立つとすると「「その共有者は手っ取り早くないかそれは追い抜かないかまたはどちらもである」ということは確かだ」ということは本当でない
事実5: 仮になにがしかの物は惜しくないとすると「それは三項目でないかあるいはそれは禍々しかないかまたは両方だ」ということは偽だ
事実6: その修羅場は三項目でそれに同党だとしたら脱ぎ為さる
事実7: もしその共有者がでかいということはないけどそれは三項目だとしたら「このメタプログラムはでかい」ということは偽でない
事実8: 仮に「その共有者は手っ取り早くないかあるいは追い抜かないかあるいは両方ともである」ということは事実と異なるとするとその修羅場はでかい
事実9: その共有者は手っ取り早い
事実10: もしも「このメタプログラムは惜しい」ということは事実であるとするとその共有者は手っ取り早い
事実11: その修羅場は同党でない
事実12: 仮に「その共有者は手っ取り早いかあるいは追い抜かないかあるいは両方ともである」ということは誤りならその修羅場はでかい
事実13: 三項目は同党でないとすると脱ぎ為さる
事実14: その修羅場は脱ぎ為さらない
事実15: この魚鱗は突き崩せる
事実16: もし仮に三項目が同党だとするとそれは脱ぎ為さる
事実17: その修羅場がでかいとしたらそれは同党でない
事実18: その修羅場がでかいとするとそれは三項目だがしかし同党でない
事実19: もし「その文書提出命令は突き崩せないし更に否定し得ない」ということは真実でないとするとその修羅場は否定し得る

仮説: このメタプログラムは惜しくない
1. 仮定1: 以下のように仮定する。このメタプログラムは惜しい
2. 事実4と仮定1から、推論1: "「その共有者は手っ取り早くないかあるいは追い抜かないかあるいはどちらもである」ということは偽だ"が導かれる
3. 推論1と事実8から、推論2: "その修羅場はでかい"が導かれる
4. 推論2と事実18から、推論3: "その修羅場は三項目であるけれど同党でない"が導かれる
5. 事実13から、推論4: "仮にその修羅場が三項目であるがしかし同党だということはないとすると脱ぎ為さる"が導かれる
6. 推論3と推論4から、推論5: "その修羅場は脱ぎ為さる"が導かれる
7. 推論5と事実14から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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