「「その自国語はツールチップであるが生産進捗情報だということはない」ということは真実だ」ということは誤っている
fact1: もし仮にとあるものが徹底出来るということはないとすれば答え易くてツールチップである fact2: 「あの元売り企業は徹底出来る一方で悪戯っぽくない」ということは成り立たない fact3: その自国語は答え易いということはない fact4: 何らかの物は銃弾でないがしかし悪戯っぽいならそれはツールチップである fact5: もしあの元売り企業が徹底出来るとしたらその自国語は銃弾でないが悪戯っぽい fact6: あの元売り企業は徹底出来る fact7: 仮になんらかのものは徹底出来るとしたら「それは悪戯っぽいし動画広告でない」ということは誤っている fact8: そのルール判定は徹底出来る fact9: もしその自国語は答え易いということはないなら「生産進捗情報であるし呆気ないということはない」ということは間違いである fact10: もし「なんらかのものは呆気ないかまたはそれはアンチ・エイリアスだ」ということは正しくないとすると徹底出来るということはない fact11: この税額計算はツールチップだ fact12: あるものは示唆出来ないけど邪魔立てするとしたら当たり易い fact13: 仮にあの会社分割法制が答え易くてさらにそれがツールチップであるとすればあの元売り企業はツールチップでない fact14: 仮に「とあるものは生産進捗情報だが呆気なくない」ということは間違いであるならそれは生産進捗情報でない fact15: 「その自国語が三国街道だけど呆気なくない」ということは誤りであるとしたらそれは三国街道でない
fact5 & fact6 -> int1: その自国語は銃弾でないけど悪戯っぽい; fact4 -> int2: もしその自国語は銃弾でないが悪戯っぽいなら「それはツールチップだということはない」ということは誤りである; int1 & int2 -> int3: その自国語はツールチップだ; fact14 -> int4: もし仮に「その自国語が生産進捗情報だけどそれは呆気ないということはない」ということは成り立たないならばそれは生産進捗情報でない; fact9 & fact3 -> int5: 「その自国語は生産進捗情報だけれど呆気なくない」ということは成り立つということはない; int4 & int5 -> int6: その自国語は生産進捗情報でない; int3 & int6 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{b} & {AB}{b}); fact4 -> int2: (¬{AA}{b} & {AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; fact14 -> int4: ¬({C}{b} & ¬{E}{b}) -> ¬{C}{b}; fact9 & fact3 -> int5: ¬({C}{b} & ¬{E}{b}); int4 & int5 -> int6: ¬{C}{b}; int3 & int6 -> hypothesis;
「その自国語は悪戯っぽいけれど動画広告でない」ということは偽だ
fact16 -> int7: 「仮にその自国語は徹底出来るとしたら「その自国語は悪戯っぽいが動画広告でない」ということは成り立たない」ということは確かだ;
$facts$ = fact1: もし仮にとあるものが徹底出来るということはないとすれば答え易くてツールチップである fact2: 「あの元売り企業は徹底出来る一方で悪戯っぽくない」ということは成り立たない fact3: その自国語は答え易いということはない fact4: 何らかの物は銃弾でないがしかし悪戯っぽいならそれはツールチップである fact5: もしあの元売り企業が徹底出来るとしたらその自国語は銃弾でないが悪戯っぽい fact6: あの元売り企業は徹底出来る fact7: 仮になんらかのものは徹底出来るとしたら「それは悪戯っぽいし動画広告でない」ということは誤っている fact8: そのルール判定は徹底出来る fact9: もしその自国語は答え易いということはないなら「生産進捗情報であるし呆気ないということはない」ということは間違いである fact10: もし「なんらかのものは呆気ないかまたはそれはアンチ・エイリアスだ」ということは正しくないとすると徹底出来るということはない fact11: この税額計算はツールチップだ fact12: あるものは示唆出来ないけど邪魔立てするとしたら当たり易い fact13: 仮にあの会社分割法制が答え易くてさらにそれがツールチップであるとすればあの元売り企業はツールチップでない fact14: 仮に「とあるものは生産進捗情報だが呆気なくない」ということは間違いであるならそれは生産進捗情報でない fact15: 「その自国語が三国街道だけど呆気なくない」ということは誤りであるとしたらそれは三国街道でない ; $hypothesis$ = 「「その自国語はツールチップであるが生産進捗情報だということはない」ということは真実だ」ということは誤っている ; $proof$ = 
fact5 & fact6 -> int1: その自国語は銃弾でないけど悪戯っぽい; fact4 -> int2: もしその自国語は銃弾でないが悪戯っぽいなら「それはツールチップだということはない」ということは誤りである; int1 & int2 -> int3: その自国語はツールチップだ; fact14 -> int4: もし仮に「その自国語が生産進捗情報だけどそれは呆気ないということはない」ということは成り立たないならばそれは生産進捗情報でない; fact9 & fact3 -> int5: 「その自国語は生産進捗情報だけれど呆気なくない」ということは成り立つということはない; int4 & int5 -> int6: その自国語は生産進捗情報でない; int3 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが徹底出来るということはないとすれば答え易くてツールチップである
事実2: 「あの元売り企業は徹底出来る一方で悪戯っぽくない」ということは成り立たない
事実3: その自国語は答え易いということはない
事実4: 何らかの物は銃弾でないがしかし悪戯っぽいならそれはツールチップである
事実5: もしあの元売り企業が徹底出来るとしたらその自国語は銃弾でないが悪戯っぽい
事実6: あの元売り企業は徹底出来る
事実7: 仮になんらかのものは徹底出来るとしたら「それは悪戯っぽいし動画広告でない」ということは誤っている
事実8: そのルール判定は徹底出来る
事実9: もしその自国語は答え易いということはないなら「生産進捗情報であるし呆気ないということはない」ということは間違いである
事実10: もし「なんらかのものは呆気ないかまたはそれはアンチ・エイリアスだ」ということは正しくないとすると徹底出来るということはない
事実11: この税額計算はツールチップだ
事実12: あるものは示唆出来ないけど邪魔立てするとしたら当たり易い
事実13: 仮にあの会社分割法制が答え易くてさらにそれがツールチップであるとすればあの元売り企業はツールチップでない
事実14: 仮に「とあるものは生産進捗情報だが呆気なくない」ということは間違いであるならそれは生産進捗情報でない
事実15: 「その自国語が三国街道だけど呆気なくない」ということは誤りであるとしたらそれは三国街道でない

仮説: 「「その自国語はツールチップであるが生産進捗情報だということはない」ということは真実だ」ということは誤っている
1. 事実5と事実6から、推論1: "その自国語は銃弾でないけど悪戯っぽい"が導かれる
2. 事実4から、推論2: "もしその自国語は銃弾でないが悪戯っぽいなら「それはツールチップだということはない」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "その自国語はツールチップだ"が導かれる
4. 事実14から、推論4: "もし仮に「その自国語が生産進捗情報だけどそれは呆気ないということはない」ということは成り立たないならばそれは生産進捗情報でない"が導かれる
5. 事実9と事実3から、推論5: "「その自国語は生産進捗情報だけれど呆気なくない」ということは成り立つということはない"が導かれる
6. 推論4と推論5から、推論6: "その自国語は生産進捗情報でない"が導かれる
7. 推論3と推論6から、仮説が否定される

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