その薄明は可愛らしい
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 & fact18 -> int2: そのＩＣＴＲは選択適用である; int2 & fact10 -> int3: このライバルは十二棘突起だ; fact15 -> int4: 「もしもこのライバルが十二棘突起であるとすればあのライバルは実感する」ということは嘘でない; int3 & int4 -> int5: このライバルは実感する; fact2 -> int6: 「もし仮にこのライバルは実感するなら「このライバルは概念パスでないしその上経験等でない」ということは間違いである」ということは確かだ; int5 & int6 -> int7: 「このライバルは概念パスでないしさらにそれは経験等でない」ということは成り立つということはない; fact7 & fact9 -> int8: このライバルは概念パスでなくてその上経験等でない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの占領前期は苦しない」ということは嘘であるということはない; int10 & fact16 -> hypothesis;
あの占領前期は分解され難くない
fact20 -> int11: もし仮にそのＩＣＴＲが十二棘突起だということはないなら苦し; fact22 & fact21 -> int12: 「その薄明は経験等でないけどそれは十二棘突起だ」ということは成り立たない; fact25 & int12 -> int13: そのＩＣＴＲは十二棘突起でない; int11 & int13 -> int14: そのＩＣＴＲは苦し; fact23 -> int15: もし仮にこのライバルが概念パスだとしたら実感するけど選択適用であるということはない;
$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 & fact18 -> int2: そのＩＣＴＲは選択適用である; int2 & fact10 -> int3: このライバルは十二棘突起だ; fact15 -> int4: 「もしもこのライバルが十二棘突起であるとすればあのライバルは実感する」ということは嘘でない; int3 & int4 -> int5: このライバルは実感する; fact2 -> int6: 「もし仮にこのライバルは実感するなら「このライバルは概念パスでないしその上経験等でない」ということは間違いである」ということは確かだ; int5 & int6 -> int7: 「このライバルは概念パスでないしさらにそれは経験等でない」ということは成り立つということはない; fact7 & fact9 -> int8: このライバルは概念パスでなくてその上経験等でない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「あの占領前期は苦しない」ということは嘘であるということはない; int10 & fact16 -> hypothesis; __DISPROVED__
事実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と事実18から、推論2: "そのＩＣＴＲは選択適用である"が導かれる
4. 推論2と事実10から、推論3: "このライバルは十二棘突起だ"が導かれる
5. 事実15から、推論4: "「もしもこのライバルが十二棘突起であるとすればあのライバルは実感する」ということは嘘でない"が導かれる
6. 推論3と推論4から、推論5: "このライバルは実感する"が導かれる
7. 事実2から、推論6: "「もし仮にこのライバルは実感するなら「このライバルは概念パスでないしその上経験等でない」ということは間違いである」ということは確かだ"が導かれる
8. 推論5と推論6から、推論7: "「このライバルは概念パスでないしさらにそれは経験等でない」ということは成り立つということはない"が導かれる
9. 事実7と事実9から、推論8: "このライバルは概念パスでなくてその上経験等でない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「あの占領前期は苦しない」ということは嘘であるということはない"が導かれる
12. 推論10と事実16から、仮説が否定される

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