あの氏自身は演じない
fact1: あのネッティングは俳号法である fact2: 仮に「あの氏自身は演じるかまたは測定対象だ」ということは誤っているとするとそれは性格描写だ fact3: 「あの帝国内は入社式であるということはないがしかし参りだ」ということは間違いである fact4: もし仮に「とあるものは演じるか直列繋ぎであるかまたは両方ともだ」ということは誤りであるならばそれは測定対象だ fact5: 仮に「なにがしかの物は俳号法であるかもしくは直列繋ぎでないかもしくはどちらもだ」ということは成り立つということはないとしたらそれは性格描写である fact6: あの氏自身は直列繋ぎだ fact7: 仮に「その敵編隊は俳号法であるかもしくは直列繋ぎであるか両方ともだ」ということは嘘であるとしたら性格描写である fact8: もしも「なんらかのものは測定対象であるしさらにそれはでっかい」ということは間違いなら「それは測定対象でない」ということは事実だ fact9: もしもあのネッティングは測定対象ならば「その敵編隊は俳号法であるかまたは直列繋ぎでないかもしくは両方だ」ということは成り立たない fact10: あの帝国内は冗談ぽくない fact11: もしその敵編隊は測定対象でないとしたら「あのネッティングは演じるし性格描写である」ということは成り立たない fact12: もし仮にあの氏自身が直列繋ぎであるとするとその敵編隊は演じる fact13: もし仮にあの帝国内が冗談ぽくなくてしかもそれが参りでないとするとあの一人芝居は冗談ぽくない fact14: 何らかのものが懐かしがらないとすると暴れ回らないかそれは出発命令であるかあるいは両方ともである fact15: 「あのネッティングは性格描写だ」ということは本当だ fact16: もしも「「「あのネッティングは演じるし性格描写だ」ということは成り立つ」ということは成り立たない」ということは正しいならばあの氏自身は演じない fact17: 仮に「「崩し易いけれど気弱くない」ということは成り立たない」ものはあるとすれば「そのホスト分子は懐かしがらない」ということは成り立つ fact18: その事業会社が追加指定するし炭素であるとしたらこの後先は炭素でない fact19: もしもあの一人芝居は冗談ぽくないなら「あの下痢止めは崩し易いがしかし気弱くない」ということは嘘だ fact20: 仮になにがしかの物は出発命令でないとしたらそれは追加指定するしおまけに炭素である fact21: 仮に「あの帝国内は入社式でないがしかし参りだ」ということは偽だとするとそれは参りでない fact22: あのネッティングは測定対象である fact23: もし仮にその敵編隊が性格描写ならあの氏自身は演じる fact24: 仮にそのホスト分子が暴れ回るということはないかあるいは出発命令であるかあるいはどちらもであるとしたらその事業会社は出発命令でない
fact9 & fact22 -> int1: 「その敵編隊は俳号法であるかあるいはそれは直列繋ぎでないかあるいは両方ともだ」ということは成り立たない; fact5 -> int2: 「その敵編隊は俳号法であるかもしくは直列繋ぎでないかもしくはどちらもだ」ということは間違いだとすると性格描写だ; int1 & int2 -> int3: その敵編隊は性格描写である; int3 & fact23 -> hypothesis;
fact9 & fact22 -> int1: ¬({AA}{b} v ¬{AB}{b}); fact5 -> int2: ¬({AA}{b} v ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact23 -> hypothesis;
あの氏自身は演じない
fact27 -> int4: もし「その敵編隊は測定対象ででっかい」ということは事実でないとするとそれは測定対象でない; fact30 -> int5: その事業会社が出発命令でないとすればそれは追加指定するしかつそれは炭素だ; fact36 -> int6: もしそのホスト分子が懐かしがらないとすると暴れ回らないかそれは出発命令である; fact25 & fact33 -> int7: あの帝国内は参りでない; fact32 & int7 -> int8: あの帝国内は冗談ぽくなくてまた参りでない; fact26 & int8 -> int9: あの一人芝居は冗談ぽくない; fact28 & int9 -> int10: 「あの下痢止めは崩し易い一方でそれは気弱くない」ということは事実でない; int10 -> int11: 「「崩し易いし気弱いということはない」ということは偽な」物はある; int11 & fact34 -> int12: そのホスト分子は懐かしがらない; int6 & int12 -> int13: そのホスト分子は暴れ回らないかそれは出発命令だ; fact37 & int13 -> int14: その事業会社は出発命令でない; int5 & int14 -> int15: その事業会社は追加指定するし加えてそれは炭素である; fact31 & int15 -> int16: この後先は炭素だということはない; int16 -> int17: なにがしかのものは炭素でない;
$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: 仮にそのホスト分子が暴れ回るということはないかあるいは出発命令であるかあるいはどちらもであるとしたらその事業会社は出発命令でない ; $hypothesis$ = あの氏自身は演じない ; $proof$ = 
fact9 & fact22 -> int1: 「その敵編隊は俳号法であるかあるいはそれは直列繋ぎでないかあるいは両方ともだ」ということは成り立たない; fact5 -> int2: 「その敵編隊は俳号法であるかもしくは直列繋ぎでないかもしくはどちらもだ」ということは間違いだとすると性格描写だ; int1 & int2 -> int3: その敵編隊は性格描写である; int3 & fact23 -> 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: 仮にそのホスト分子が暴れ回るということはないかあるいは出発命令であるかあるいはどちらもであるとしたらその事業会社は出発命令でない

仮説: あの氏自身は演じない
1. 事実9と事実22から、推論1: "「その敵編隊は俳号法であるかあるいはそれは直列繋ぎでないかあるいは両方ともだ」ということは成り立たない"が導かれる
2. 事実5から、推論2: "「その敵編隊は俳号法であるかもしくは直列繋ぎでないかもしくはどちらもだ」ということは間違いだとすると性格描写だ"が導かれる
3. 推論1と推論2から、推論3: "その敵編隊は性格描写である"が導かれる
4. 推論3と事実23から、仮説が否定される

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