この成長要因は易しということはない
fact1: もし仮に何らかの物が集中出来るとするとそれは易し fact2: もしこの成長要因は許せないならば「物らしくないかそれは集中出来るかまたは両方である」ということは成り立たない fact3: もし仮に何らかの物が許せないなら集中出来るしかつ物らしい fact4: もし「「なんらかの物は許せる一方でそれはキルティングするということはない」ということは成り立つ」ということは間違いであるとすると「許せない」ということは事実である fact5: 「このワークステーション上は天皇崇拝であるがしかし隠居するということはない」ということは成り立たない fact6: もしも「このワークステーション上は天皇崇拝だ一方でそれは隠居するということはない」ということは誤っていればそれは隠居する fact7: 「このワークステーション上は集中出来ない」ということは間違いである fact8: 「物らしくないかあるいは汗ばみだということはない」物はある fact9: この成長要因が易しなら汗ばみでないかもしくは君らしくないか両方ともだ fact10: なにがしかの物が隠居するとしたらその仁愛は隠居するか略取するか両方である fact11: 仮に「「汗ばみでないか君らしくないかどちらもである」ということは正しい」ものがあればその仁愛は集中出来るということはない fact12: この成長要因は汗ばみでないかあるいは君らしい fact13: もし仮にこのワークステーション上は物らしいとすれば「その仁愛は集中出来る」ということは確かである fact14: このワークステーション上は物らしい fact15: もし仮にこの成長要因は隠居するとしたら「あの緩解は許せるがしかしキルティングしない」ということは成り立たない fact16: なにかは物らしくないかあるいは易し fact17: もし「とある物は物らしいということはないかまたは集中出来るかもしくは両方だ」ということは成り立たないなら易し fact18: 何らかのものは集中出来ないかもしくはそれは君らしくないかどちらもだ
void -> assump1: 以下のように仮定する。この成長要因は易し; fact9 & assump1 -> int1: この成長要因は汗ばみでないかもしくはそれは君らしくない; int1 -> int2: 「汗ばみでないか君らしくないか両方である」物はある; int2 & fact11 -> int3: 「その仁愛は集中出来ない」ということは間違いでない; fact13 & fact14 -> int4: 「その仁愛は集中出来る」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この成長要因は易し
fact19 -> int6: もし「この成長要因は物らしくないかあるいはそれは集中出来るかどちらもである」ということは間違いならば易し;
$facts$ = fact1: もし仮に何らかの物が集中出来るとするとそれは易し fact2: もしこの成長要因は許せないならば「物らしくないかそれは集中出来るかまたは両方である」ということは成り立たない fact3: もし仮に何らかの物が許せないなら集中出来るしかつ物らしい fact4: もし「「なんらかの物は許せる一方でそれはキルティングするということはない」ということは成り立つ」ということは間違いであるとすると「許せない」ということは事実である fact5: 「このワークステーション上は天皇崇拝であるがしかし隠居するということはない」ということは成り立たない fact6: もしも「このワークステーション上は天皇崇拝だ一方でそれは隠居するということはない」ということは誤っていればそれは隠居する fact7: 「このワークステーション上は集中出来ない」ということは間違いである fact8: 「物らしくないかあるいは汗ばみだということはない」物はある fact9: この成長要因が易しなら汗ばみでないかもしくは君らしくないか両方ともだ fact10: なにがしかの物が隠居するとしたらその仁愛は隠居するか略取するか両方である fact11: 仮に「「汗ばみでないか君らしくないかどちらもである」ということは正しい」ものがあればその仁愛は集中出来るということはない fact12: この成長要因は汗ばみでないかあるいは君らしい fact13: もし仮にこのワークステーション上は物らしいとすれば「その仁愛は集中出来る」ということは確かである fact14: このワークステーション上は物らしい fact15: もし仮にこの成長要因は隠居するとしたら「あの緩解は許せるがしかしキルティングしない」ということは成り立たない fact16: なにかは物らしくないかあるいは易し fact17: もし「とある物は物らしいということはないかまたは集中出来るかもしくは両方だ」ということは成り立たないなら易し fact18: 何らかのものは集中出来ないかもしくはそれは君らしくないかどちらもだ ; $hypothesis$ = この成長要因は易しということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この成長要因は易し; fact9 & assump1 -> int1: この成長要因は汗ばみでないかもしくはそれは君らしくない; int1 -> int2: 「汗ばみでないか君らしくないか両方である」物はある; int2 & fact11 -> int3: 「その仁愛は集中出来ない」ということは間違いでない; fact13 & fact14 -> int4: 「その仁愛は集中出来る」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が集中出来るとするとそれは易し
事実2: もしこの成長要因は許せないならば「物らしくないかそれは集中出来るかまたは両方である」ということは成り立たない
事実3: もし仮に何らかの物が許せないなら集中出来るしかつ物らしい
事実4: もし「「なんらかの物は許せる一方でそれはキルティングするということはない」ということは成り立つ」ということは間違いであるとすると「許せない」ということは事実である
事実5: 「このワークステーション上は天皇崇拝であるがしかし隠居するということはない」ということは成り立たない
事実6: もしも「このワークステーション上は天皇崇拝だ一方でそれは隠居するということはない」ということは誤っていればそれは隠居する
事実7: 「このワークステーション上は集中出来ない」ということは間違いである
事実8: 「物らしくないかあるいは汗ばみだということはない」物はある
事実9: この成長要因が易しなら汗ばみでないかもしくは君らしくないか両方ともだ
事実10: なにがしかの物が隠居するとしたらその仁愛は隠居するか略取するか両方である
事実11: 仮に「「汗ばみでないか君らしくないかどちらもである」ということは正しい」ものがあればその仁愛は集中出来るということはない
事実12: この成長要因は汗ばみでないかあるいは君らしい
事実13: もし仮にこのワークステーション上は物らしいとすれば「その仁愛は集中出来る」ということは確かである
事実14: このワークステーション上は物らしい
事実15: もし仮にこの成長要因は隠居するとしたら「あの緩解は許せるがしかしキルティングしない」ということは成り立たない
事実16: なにかは物らしくないかあるいは易し
事実17: もし「とある物は物らしいということはないかまたは集中出来るかもしくは両方だ」ということは成り立たないなら易し
事実18: 何らかのものは集中出来ないかもしくはそれは君らしくないかどちらもだ

仮説: この成長要因は易しということはない
1. 仮定1: 以下のように仮定する。この成長要因は易し
2. 事実9と仮定1から、推論1: "この成長要因は汗ばみでないかもしくはそれは君らしくない"が導かれる
3. 推論1から、推論2: "「汗ばみでないか君らしくないか両方である」物はある"が導かれる
4. 推論2と事実11から、推論3: "「その仁愛は集中出来ない」ということは間違いでない"が導かれる
5. 事実13と事実14から、推論4: "「その仁愛は集中出来る」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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