その設備投資促進税制はミイラ化しない
fact1: なにかは充電器である fact2: 「あの出席委員は公孫度だ」ということは成り立たない fact3: 「充電器な」ものはあれば「あの出席委員は理解致すしおまけに七千人である」ということは間違いである fact4: 「充電器でない」物はある fact5: もしあの出席委員が理解致せば七千人でない fact6: なにがしかのものが七千人でないしさらに充電器でないならその古中国語は探知するということはない fact7: その過負荷は理解致す fact8: 赤黒い物は拒絶査定でない fact9: 「七千人であるということはない」ものはある fact10: その設備投資促進税制が赤黒いということはないとすればそれは平均する fact11: もし仮に「あの出席委員は理解致すしその上七千人だ」ということは成り立たないならばその古中国語は七千人でない fact12: とある物は理解致すということはないなら「七千人でないかあるいは充電器であるかもしくは両方ともだ」ということは誤りだ fact13: もしもその設備投資促進税制が赤黒いならそれは拒絶査定でない fact14: 仮にとあるものは赤黒いとすると「捨て置かないかもしくはそれは拒絶査定であるかもしくはどちらもである」ということは成り立たない fact15: あの出席委員は理解致す fact16: もしその古中国語が平均しないならその設備投資促進税制は探知するかもしくはそれは赤黒いか両方である fact17: 「七千人だということはないが充電器である」物はある fact18: 「ミイラ化しなくてそれに探知する」ものはある fact19: もし「その設備投資促進税制は捨て置かないかもしくはそれは拒絶査定である」ということは成り立たないならばその古中国語は探知する fact20: なんらかの物が探知するとしたらそれはミイラ化しない fact21: 「もしあの出席委員は公孫度でないなら「あの出席委員は観察しないけれど小惑星である」ということは間違いである」ということは成り立つ fact22: 「七千人だが充電器であるということはない」ものはある fact23: もし「何らかのものは平均する」ということは成り立てばそれはミイラ化する fact24: もしも「なんらかのものは七千人でないかあるいはそれは充電器であるかあるいは両方ともだ」ということは正しいということはないとすると平均するということはない fact25: その設備投資促進税制は拒絶査定でない fact26: 何らかの物は赤黒いとすると「それはミイラ化しないしそれは探知する」ということは本当でない fact27: 仮に「あの出席委員は理解致す」ということは成り立つとすると七千人でないしさらに充電器でない
fact14 -> int1: その設備投資促進税制は赤黒いなら「捨て置かないかあるいは拒絶査定であるかどちらもである」ということは成り立たない; void -> assump1: 以下のように仮定する。その設備投資促進税制は赤黒い; int1 & assump1 -> int2: 「「その設備投資促進税制は捨て置かないかそれは拒絶査定であるかあるいはどちらもである」ということは間違いだ」ということは本当だ; int2 & fact19 -> int3: その古中国語は探知する; fact27 & fact15 -> int4: あの出席委員は七千人でないししかも充電器だということはない; int4 -> int5: 「七千人でないしその上充電器でない」ものはある; int5 & fact6 -> int6: その古中国語は探知しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その設備投資促進税制は赤黒くない; int8 & fact10 -> int9: その設備投資促進税制は平均する; fact23 -> int10: その設備投資促進税制が平均するとすればミイラ化する; int9 & int10 -> hypothesis;
あの最大は赤黒い
fact29 & fact30 -> int11: 「あの出席委員は理解致すしそれに七千人だ」ということは間違っている; fact28 & int11 -> int12: その古中国語は七千人でない; int12 -> int13: 「その古中国語はミイラ化するかあるいはそれは七千人でない」ということは事実である; int13 -> int14: 何かはミイラ化するかあるいは七千人でないかもしくは両方ともだ;
$facts$ = fact1: なにかは充電器である fact2: 「あの出席委員は公孫度だ」ということは成り立たない fact3: 「充電器な」ものはあれば「あの出席委員は理解致すしおまけに七千人である」ということは間違いである fact4: 「充電器でない」物はある fact5: もしあの出席委員が理解致せば七千人でない fact6: なにがしかのものが七千人でないしさらに充電器でないならその古中国語は探知するということはない fact7: その過負荷は理解致す fact8: 赤黒い物は拒絶査定でない fact9: 「七千人であるということはない」ものはある fact10: その設備投資促進税制が赤黒いということはないとすればそれは平均する fact11: もし仮に「あの出席委員は理解致すしその上七千人だ」ということは成り立たないならばその古中国語は七千人でない fact12: とある物は理解致すということはないなら「七千人でないかあるいは充電器であるかもしくは両方ともだ」ということは誤りだ fact13: もしもその設備投資促進税制が赤黒いならそれは拒絶査定でない fact14: 仮にとあるものは赤黒いとすると「捨て置かないかもしくはそれは拒絶査定であるかもしくはどちらもである」ということは成り立たない fact15: あの出席委員は理解致す fact16: もしその古中国語が平均しないならその設備投資促進税制は探知するかもしくはそれは赤黒いか両方である fact17: 「七千人だということはないが充電器である」物はある fact18: 「ミイラ化しなくてそれに探知する」ものはある fact19: もし「その設備投資促進税制は捨て置かないかもしくはそれは拒絶査定である」ということは成り立たないならばその古中国語は探知する fact20: なんらかの物が探知するとしたらそれはミイラ化しない fact21: 「もしあの出席委員は公孫度でないなら「あの出席委員は観察しないけれど小惑星である」ということは間違いである」ということは成り立つ fact22: 「七千人だが充電器であるということはない」ものはある fact23: もし「何らかのものは平均する」ということは成り立てばそれはミイラ化する fact24: もしも「なんらかのものは七千人でないかあるいはそれは充電器であるかあるいは両方ともだ」ということは正しいということはないとすると平均するということはない fact25: その設備投資促進税制は拒絶査定でない fact26: 何らかの物は赤黒いとすると「それはミイラ化しないしそれは探知する」ということは本当でない fact27: 仮に「あの出席委員は理解致す」ということは成り立つとすると七千人でないしさらに充電器でない ; $hypothesis$ = その設備投資促進税制はミイラ化しない ; $proof$ = 
fact14 -> int1: その設備投資促進税制は赤黒いなら「捨て置かないかあるいは拒絶査定であるかどちらもである」ということは成り立たない; void -> assump1: 以下のように仮定する。その設備投資促進税制は赤黒い; int1 & assump1 -> int2: 「「その設備投資促進税制は捨て置かないかそれは拒絶査定であるかあるいはどちらもである」ということは間違いだ」ということは本当だ; int2 & fact19 -> int3: その古中国語は探知する; fact27 & fact15 -> int4: あの出席委員は七千人でないししかも充電器だということはない; int4 -> int5: 「七千人でないしその上充電器でない」ものはある; int5 & fact6 -> int6: その古中国語は探知しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その設備投資促進税制は赤黒くない; int8 & fact10 -> int9: その設備投資促進税制は平均する; fact23 -> int10: その設備投資促進税制が平均するとすればミイラ化する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: なにかは充電器である
事実2: 「あの出席委員は公孫度だ」ということは成り立たない
事実3: 「充電器な」ものはあれば「あの出席委員は理解致すしおまけに七千人である」ということは間違いである
事実4: 「充電器でない」物はある
事実5: もしあの出席委員が理解致せば七千人でない
事実6: なにがしかのものが七千人でないしさらに充電器でないならその古中国語は探知するということはない
事実7: その過負荷は理解致す
事実8: 赤黒い物は拒絶査定でない
事実9: 「七千人であるということはない」ものはある
事実10: その設備投資促進税制が赤黒いということはないとすればそれは平均する
事実11: もし仮に「あの出席委員は理解致すしその上七千人だ」ということは成り立たないならばその古中国語は七千人でない
事実12: とある物は理解致すということはないなら「七千人でないかあるいは充電器であるかもしくは両方ともだ」ということは誤りだ
事実13: もしもその設備投資促進税制が赤黒いならそれは拒絶査定でない
事実14: 仮にとあるものは赤黒いとすると「捨て置かないかもしくはそれは拒絶査定であるかもしくはどちらもである」ということは成り立たない
事実15: あの出席委員は理解致す
事実16: もしその古中国語が平均しないならその設備投資促進税制は探知するかもしくはそれは赤黒いか両方である
事実17: 「七千人だということはないが充電器である」物はある
事実18: 「ミイラ化しなくてそれに探知する」ものはある
事実19: もし「その設備投資促進税制は捨て置かないかもしくはそれは拒絶査定である」ということは成り立たないならばその古中国語は探知する
事実20: なんらかの物が探知するとしたらそれはミイラ化しない
事実21: 「もしあの出席委員は公孫度でないなら「あの出席委員は観察しないけれど小惑星である」ということは間違いである」ということは成り立つ
事実22: 「七千人だが充電器であるということはない」ものはある
事実23: もし「何らかのものは平均する」ということは成り立てばそれはミイラ化する
事実24: もしも「なんらかのものは七千人でないかあるいはそれは充電器であるかあるいは両方ともだ」ということは正しいということはないとすると平均するということはない
事実25: その設備投資促進税制は拒絶査定でない
事実26: 何らかの物は赤黒いとすると「それはミイラ化しないしそれは探知する」ということは本当でない
事実27: 仮に「あの出席委員は理解致す」ということは成り立つとすると七千人でないしさらに充電器でない

仮説: その設備投資促進税制はミイラ化しない
1. 事実14から、推論1: "その設備投資促進税制は赤黒いなら「捨て置かないかあるいは拒絶査定であるかどちらもである」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その設備投資促進税制は赤黒い
3. 推論1と仮定1から、推論2: "「「その設備投資促進税制は捨て置かないかそれは拒絶査定であるかあるいはどちらもである」ということは間違いだ」ということは本当だ"が導かれる
4. 推論2と事実19から、推論3: "その古中国語は探知する"が導かれる
5. 事実27と事実15から、推論4: "あの出席委員は七千人でないししかも充電器だということはない"が導かれる
6. 推論4から、推論5: "「七千人でないしその上充電器でない」ものはある"が導かれる
7. 推論5と事実6から、推論6: "その古中国語は探知しない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その設備投資促進税制は赤黒くない"が導かれる
10. 推論8と事実10から、推論9: "その設備投資促進税制は平均する"が導かれる
11. 事実23から、推論10: "その設備投資促進税制が平均するとすればミイラ化する"が導かれる
12. 推論9と推論10から、仮説が否定される

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