もしこの肉じゃがは叱り付けるとすれば「この繁忙は西上する」ということは真実である
fact1: なにかは凝集性でないとすれば取り掛かり易くないかあるいはそれは長細い fact2: もしもこの時間割り・日課表が移り易いならばあの肉じゃがは叱り付ける fact3: もしあるものが叱り付けないとしたら西上するということはないかまたは取り掛かり易いかもしくは両方ともである fact4: この肉じゃがは凝集性だ fact5: もし仮にこの肉じゃがが掴み易いとしたらこの権勢症候群は凝集性でない fact6: この着順が掴み易いならばこの繁忙は西上する fact7: もしこの時間割り・日課表が長細くないかそれが移り易いとするとこの肉じゃがは凝集性だ fact8: この肉じゃがは移り易い fact9: この肉じゃがは凝集性であるとしたら「この権勢症候群は凝集性でない」ということは真実だ fact10: もしも「なにがしかのものは爆散するかあるいはそれは西上するか両方だ」ということは成り立たないならば取り掛かり易くない fact11: この時間割り・日課表は取り掛かり易いかあるいは長細いかどちらもだ fact12: もしなにがしかのものが西上しないならば長細くないかまたはそれは叱り付けるかもしくは両方ともだ fact13: もしこの時間割り・日課表が取り掛かり易くないとするとこの着順は掴み易い fact14: もし仮にこの時間割り・日課表が取り掛かり易くないか長細いかもしくはどちらもだとするとこの着順は掴み易い fact15: もしもなにがしかの物が取り掛かり易いということはないとすると凝集性であるかあるいは掴み易いかまたは両方ともである fact16: もしもこの肉じゃがが叱り付けるしその上移り易いとすればこの時間割り・日課表は凝集性でない fact17: 何らかのものは凝集性でないとすれば「それは取り掛かり易いかまたは長細いかまたはどちらもだ」ということは事実である fact18: もしもこの時間割り・日課表は凝集性でないならそれは取り掛かり易いかもしくは長細いかまたは両方である fact19: 仮にこの繁忙が長細くないとしたら西上しないかそれは取り掛かり易い fact20: もし何らかの物が叱り付けるとすると長細い fact21: この時間割り・日課表は長細いということはないか移り易いかもしくはどちらもだ
void -> assump1: 以下のように仮定する。この肉じゃがは叱り付ける; assump1 & fact8 -> int1: この肉じゃがは叱り付けるし移り易い; int1 & fact16 -> int2: この時間割り・日課表は凝集性でない; fact1 -> int3: もし「この時間割り・日課表は凝集性でない」ということは間違っていないとすると取り掛かり易くないかもしくは長細いかあるいは両方ともである; int2 & int3 -> int4: この時間割り・日課表は取り掛かり易くないかまたは長細いかまたは両方だ; int4 & fact14 -> int5: この着順は掴み易い; int5 & fact6 -> int6: 「この繁忙は西上する」ということは成り立つ; [assump1] & int6 -> hypothesis;
この権勢症候群は長細い
fact22 -> int7: もしこの権勢症候群が叱り付けるとしたら長細い; fact23 -> int8: 「この時間割り・日課表は爆散するかもしくはそれは西上するかまたは両方である」ということは成り立たないとしたら取り掛かり易いということはない; fact24 -> int9: この肉じゃがが取り掛かり易くないなら凝集性であるかそれは掴み易い;
$facts$ = fact1: なにかは凝集性でないとすれば取り掛かり易くないかあるいはそれは長細い fact2: もしもこの時間割り・日課表が移り易いならばあの肉じゃがは叱り付ける fact3: もしあるものが叱り付けないとしたら西上するということはないかまたは取り掛かり易いかもしくは両方ともである fact4: この肉じゃがは凝集性だ fact5: もし仮にこの肉じゃがが掴み易いとしたらこの権勢症候群は凝集性でない fact6: この着順が掴み易いならばこの繁忙は西上する fact7: もしこの時間割り・日課表が長細くないかそれが移り易いとするとこの肉じゃがは凝集性だ fact8: この肉じゃがは移り易い fact9: この肉じゃがは凝集性であるとしたら「この権勢症候群は凝集性でない」ということは真実だ fact10: もしも「なにがしかのものは爆散するかあるいはそれは西上するか両方だ」ということは成り立たないならば取り掛かり易くない fact11: この時間割り・日課表は取り掛かり易いかあるいは長細いかどちらもだ fact12: もしなにがしかのものが西上しないならば長細くないかまたはそれは叱り付けるかもしくは両方ともだ fact13: もしこの時間割り・日課表が取り掛かり易くないとするとこの着順は掴み易い fact14: もし仮にこの時間割り・日課表が取り掛かり易くないか長細いかもしくはどちらもだとするとこの着順は掴み易い fact15: もしもなにがしかの物が取り掛かり易いということはないとすると凝集性であるかあるいは掴み易いかまたは両方ともである fact16: もしもこの肉じゃがが叱り付けるしその上移り易いとすればこの時間割り・日課表は凝集性でない fact17: 何らかのものは凝集性でないとすれば「それは取り掛かり易いかまたは長細いかまたはどちらもだ」ということは事実である fact18: もしもこの時間割り・日課表は凝集性でないならそれは取り掛かり易いかもしくは長細いかまたは両方である fact19: 仮にこの繁忙が長細くないとしたら西上しないかそれは取り掛かり易い fact20: もし何らかの物が叱り付けるとすると長細い fact21: この時間割り・日課表は長細いということはないか移り易いかもしくはどちらもだ ; $hypothesis$ = もしこの肉じゃがは叱り付けるとすれば「この繁忙は西上する」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この肉じゃがは叱り付ける; assump1 & fact8 -> int1: この肉じゃがは叱り付けるし移り易い; int1 & fact16 -> int2: この時間割り・日課表は凝集性でない; fact1 -> int3: もし「この時間割り・日課表は凝集性でない」ということは間違っていないとすると取り掛かり易くないかもしくは長細いかあるいは両方ともである; int2 & int3 -> int4: この時間割り・日課表は取り掛かり易くないかまたは長細いかまたは両方だ; int4 & fact14 -> int5: この着順は掴み易い; int5 & fact6 -> int6: 「この繁忙は西上する」ということは成り立つ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: なにかは凝集性でないとすれば取り掛かり易くないかあるいはそれは長細い
事実2: もしもこの時間割り・日課表が移り易いならばあの肉じゃがは叱り付ける
事実3: もしあるものが叱り付けないとしたら西上するということはないかまたは取り掛かり易いかもしくは両方ともである
事実4: この肉じゃがは凝集性だ
事実5: もし仮にこの肉じゃがが掴み易いとしたらこの権勢症候群は凝集性でない
事実6: この着順が掴み易いならばこの繁忙は西上する
事実7: もしこの時間割り・日課表が長細くないかそれが移り易いとするとこの肉じゃがは凝集性だ
事実8: この肉じゃがは移り易い
事実9: この肉じゃがは凝集性であるとしたら「この権勢症候群は凝集性でない」ということは真実だ
事実10: もしも「なにがしかのものは爆散するかあるいはそれは西上するか両方だ」ということは成り立たないならば取り掛かり易くない
事実11: この時間割り・日課表は取り掛かり易いかあるいは長細いかどちらもだ
事実12: もしなにがしかのものが西上しないならば長細くないかまたはそれは叱り付けるかもしくは両方ともだ
事実13: もしこの時間割り・日課表が取り掛かり易くないとするとこの着順は掴み易い
事実14: もし仮にこの時間割り・日課表が取り掛かり易くないか長細いかもしくはどちらもだとするとこの着順は掴み易い
事実15: もしもなにがしかの物が取り掛かり易いということはないとすると凝集性であるかあるいは掴み易いかまたは両方ともである
事実16: もしもこの肉じゃがが叱り付けるしその上移り易いとすればこの時間割り・日課表は凝集性でない
事実17: 何らかのものは凝集性でないとすれば「それは取り掛かり易いかまたは長細いかまたはどちらもだ」ということは事実である
事実18: もしもこの時間割り・日課表は凝集性でないならそれは取り掛かり易いかもしくは長細いかまたは両方である
事実19: 仮にこの繁忙が長細くないとしたら西上しないかそれは取り掛かり易い
事実20: もし何らかの物が叱り付けるとすると長細い
事実21: この時間割り・日課表は長細いということはないか移り易いかもしくはどちらもだ

仮説: もしこの肉じゃがは叱り付けるとすれば「この繁忙は西上する」ということは真実である
1. 仮定1: 以下のように仮定する。この肉じゃがは叱り付ける
2. 仮定1と事実8から、推論1: "この肉じゃがは叱り付けるし移り易い"が導かれる
3. 推論1と事実16から、推論2: "この時間割り・日課表は凝集性でない"が導かれる
4. 事実1から、推論3: "もし「この時間割り・日課表は凝集性でない」ということは間違っていないとすると取り掛かり易くないかもしくは長細いかあるいは両方ともである"が導かれる
5. 推論2と推論3から、推論4: "この時間割り・日課表は取り掛かり易くないかまたは長細いかまたは両方だ"が導かれる
6. 推論4と事実14から、推論5: "この着順は掴み易い"が導かれる
7. 推論5と事実6から、推論6: "「この繁忙は西上する」ということは成り立つ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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