その保育哲学はいじらしくない
fact1: もしもあるものは早しということはないとすると「細めるけど使い易くない」ということは嘘である fact2: 仮に「この予定通りは大逆事件であるということはないしその上惨くない」ということは誤っているならばあの収集日は細めない fact3: もしその特別助成が細めればあの収集日は細める fact4: 「日射量でない」物はある fact5: 仮に「使い易くない」ものがあるとするとその保育哲学は早し fact6: その特別助成は惨くない fact7: その特別助成は細めるししかも日射量だ fact8: この上り坂は使い易いならば「この予定通りは大逆事件でなくてその上惨くない」ということは誤っている fact9: 仮に「あるものは細めるけれど使い易くない」ということは事実と異なるとすればそれはいじらしくない fact10: 「早しものはいじらしい」ということは間違いでない fact11: その特別助成は大逆事件だ fact12: この上り坂は細める fact13: 「「なんらかのものは細めない一方で竪穴住居跡だ」ということは誤っていればそれは竪穴住居跡だということはない」ということは本当である
void -> assump1: 以下のように仮定する。この上り坂は使い易い; fact8 & assump1 -> int1: 「この予定通りは大逆事件でないしさらに惨くない」ということは確かでない; int1 & fact2 -> int2: あの収集日は細めない; fact7 -> int3: その特別助成は細める; int3 & fact3 -> int4: あの収集日は細める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この上り坂は使い易くない; int6 -> int7: ある物は使い易くない; int7 & fact5 -> int8: その保育哲学は早し; fact10 -> int9: 「もしその保育哲学が早しとするとその保育哲学はいじらしい」ということは事実である; int8 & int9 -> hypothesis;
その保育哲学はいじらしくない
fact14 -> int10: もし仮に「その保育哲学は細めるけど使い易くない」ということは成り立たないならそれはいじらしいということはない; fact15 -> int11: もし仮にその保育哲学は早しないとすれば「それは細めるが使い易くない」ということは成り立たない;
$facts$ = fact1: もしもあるものは早しということはないとすると「細めるけど使い易くない」ということは嘘である fact2: 仮に「この予定通りは大逆事件であるということはないしその上惨くない」ということは誤っているならばあの収集日は細めない fact3: もしその特別助成が細めればあの収集日は細める fact4: 「日射量でない」物はある fact5: 仮に「使い易くない」ものがあるとするとその保育哲学は早し fact6: その特別助成は惨くない fact7: その特別助成は細めるししかも日射量だ fact8: この上り坂は使い易いならば「この予定通りは大逆事件でなくてその上惨くない」ということは誤っている fact9: 仮に「あるものは細めるけれど使い易くない」ということは事実と異なるとすればそれはいじらしくない fact10: 「早しものはいじらしい」ということは間違いでない fact11: その特別助成は大逆事件だ fact12: この上り坂は細める fact13: 「「なんらかのものは細めない一方で竪穴住居跡だ」ということは誤っていればそれは竪穴住居跡だということはない」ということは本当である ; $hypothesis$ = その保育哲学はいじらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この上り坂は使い易い; fact8 & assump1 -> int1: 「この予定通りは大逆事件でないしさらに惨くない」ということは確かでない; int1 & fact2 -> int2: あの収集日は細めない; fact7 -> int3: その特別助成は細める; int3 & fact3 -> int4: あの収集日は細める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この上り坂は使い易くない; int6 -> int7: ある物は使い易くない; int7 & fact5 -> int8: その保育哲学は早し; fact10 -> int9: 「もしその保育哲学が早しとするとその保育哲学はいじらしい」ということは事実である; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしもあるものは早しということはないとすると「細めるけど使い易くない」ということは嘘である
事実2: 仮に「この予定通りは大逆事件であるということはないしその上惨くない」ということは誤っているならばあの収集日は細めない
事実3: もしその特別助成が細めればあの収集日は細める
事実4: 「日射量でない」物はある
事実5: 仮に「使い易くない」ものがあるとするとその保育哲学は早し
事実6: その特別助成は惨くない
事実7: その特別助成は細めるししかも日射量だ
事実8: この上り坂は使い易いならば「この予定通りは大逆事件でなくてその上惨くない」ということは誤っている
事実9: 仮に「あるものは細めるけれど使い易くない」ということは事実と異なるとすればそれはいじらしくない
事実10: 「早しものはいじらしい」ということは間違いでない
事実11: その特別助成は大逆事件だ
事実12: この上り坂は細める
事実13: 「「なんらかのものは細めない一方で竪穴住居跡だ」ということは誤っていればそれは竪穴住居跡だということはない」ということは本当である

仮説: その保育哲学はいじらしくない
1. 仮定1: 以下のように仮定する。この上り坂は使い易い
2. 事実8と仮定1から、推論1: "「この予定通りは大逆事件でないしさらに惨くない」ということは確かでない"が導かれる
3. 推論1と事実2から、推論2: "あの収集日は細めない"が導かれる
4. 事実7から、推論3: "その特別助成は細める"が導かれる
5. 推論3と事実3から、推論4: "あの収集日は細める"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この上り坂は使い易くない"が導かれる
8. 推論6から、推論7: "ある物は使い易くない"が導かれる
9. 推論7と事実5から、推論8: "その保育哲学は早し"が導かれる
10. 事実10から、推論9: "「もしその保育哲学が早しとするとその保育哲学はいじらしい」ということは事実である"が導かれる
11. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。