あの知的財産はしつっこい
fact1: 仮に何らかのものが吹き替えないなら面白くないし更にそれは吊り易くない fact2: もしも「嫌味ったらしい」ものはあるとすると「この鋭角は面白いししかもそれは吊り易い」ということは成り立たない fact3: この鋭角は嫌味ったらしくない fact4: もしも「この鋭角は面白くないけどしつっこい」ということは事実と異なるならあの知的財産は吊り易くない fact5: 「あの知的財産はしつっこくないがしかし吊り易い」ということは誤っている fact6: もし仮にあの申請先が吹き替えるということはないとしたらこの鋭角は吹き替えない fact7: 「この鋭角は面白くないが吊り易い」ということは成り立たないとすると「あの知的財産はしつっこい」ということは事実と異なる fact8: 「この鋭角は面白くておまけにそれは吊り易い」ということは嘘だ fact9: 仮に「「吊り易い」ということは成り立つ」物はあるとすると「あの知的財産は面白くないがそれはしつっこい」ということは偽だ fact10: ある物は嫌味ったらしい fact11: もし仮に「この鋭角は面白い」ということは本当だとするとあの知的財産はしつっこいということはない fact12: 仮になんらかのものは嫌味ったらしいならば「この鋭角は面白くないけれど吊り易い」ということは間違っている fact13: 「この鋭角はしつっこくない一方で面白い」ということは誤りであるならばあの知的財産は吊り易いということはない fact14: もし仮に「あの知的財産は吊り易くないがそれは面白い」ということは本当でないとするとこの鋭角はしつっこくない fact15: 「そのインターネットナンバーは吹き替える」ということは事実であるとしたらあの申請先は吹き替えない fact16: 「「あの知的財産は吊り易くないけれど議論す」ということは成り立たない」ということは成り立つ fact17: 仮に「あの知的財産は吊り易くないけどしつっこい」ということは誤っているならこの鋭角は面白くない fact18: もし仮にとある物は面白いとすると「この鋭角はしつっこくないがしかし吊り易い」ということは間違いである fact19: もし仮に「あの知的財産はしつっこくないが吊り易い」ということは成り立たないとしたらこの鋭角は面白くない fact20: その脳神経細胞ネットワークは面白くない
fact10 & fact12 -> int1: 「この鋭角は面白いということはないが吊り易い」ということは成り立たない; int1 & fact7 -> hypothesis;
fact10 & fact12 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact7 -> hypothesis;
あの知的財産はしつっこい
fact22 -> int2: この鋭角は吹き替えないとすれば「面白くなくて吊り易くない」ということは確かである;
$facts$ = fact1: 仮に何らかのものが吹き替えないなら面白くないし更にそれは吊り易くない fact2: もしも「嫌味ったらしい」ものはあるとすると「この鋭角は面白いししかもそれは吊り易い」ということは成り立たない fact3: この鋭角は嫌味ったらしくない fact4: もしも「この鋭角は面白くないけどしつっこい」ということは事実と異なるならあの知的財産は吊り易くない fact5: 「あの知的財産はしつっこくないがしかし吊り易い」ということは誤っている fact6: もし仮にあの申請先が吹き替えるということはないとしたらこの鋭角は吹き替えない fact7: 「この鋭角は面白くないが吊り易い」ということは成り立たないとすると「あの知的財産はしつっこい」ということは事実と異なる fact8: 「この鋭角は面白くておまけにそれは吊り易い」ということは嘘だ fact9: 仮に「「吊り易い」ということは成り立つ」物はあるとすると「あの知的財産は面白くないがそれはしつっこい」ということは偽だ fact10: ある物は嫌味ったらしい fact11: もし仮に「この鋭角は面白い」ということは本当だとするとあの知的財産はしつっこいということはない fact12: 仮になんらかのものは嫌味ったらしいならば「この鋭角は面白くないけれど吊り易い」ということは間違っている fact13: 「この鋭角はしつっこくない一方で面白い」ということは誤りであるならばあの知的財産は吊り易いということはない fact14: もし仮に「あの知的財産は吊り易くないがそれは面白い」ということは本当でないとするとこの鋭角はしつっこくない fact15: 「そのインターネットナンバーは吹き替える」ということは事実であるとしたらあの申請先は吹き替えない fact16: 「「あの知的財産は吊り易くないけれど議論す」ということは成り立たない」ということは成り立つ fact17: 仮に「あの知的財産は吊り易くないけどしつっこい」ということは誤っているならこの鋭角は面白くない fact18: もし仮にとある物は面白いとすると「この鋭角はしつっこくないがしかし吊り易い」ということは間違いである fact19: もし仮に「あの知的財産はしつっこくないが吊り易い」ということは成り立たないとしたらこの鋭角は面白くない fact20: その脳神経細胞ネットワークは面白くない ; $hypothesis$ = あの知的財産はしつっこい ; $proof$ = 
fact10 & fact12 -> int1: 「この鋭角は面白いということはないが吊り易い」ということは成り立たない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものが吹き替えないなら面白くないし更にそれは吊り易くない
事実2: もしも「嫌味ったらしい」ものはあるとすると「この鋭角は面白いししかもそれは吊り易い」ということは成り立たない
事実3: この鋭角は嫌味ったらしくない
事実4: もしも「この鋭角は面白くないけどしつっこい」ということは事実と異なるならあの知的財産は吊り易くない
事実5: 「あの知的財産はしつっこくないがしかし吊り易い」ということは誤っている
事実6: もし仮にあの申請先が吹き替えるということはないとしたらこの鋭角は吹き替えない
事実7: 「この鋭角は面白くないが吊り易い」ということは成り立たないとすると「あの知的財産はしつっこい」ということは事実と異なる
事実8: 「この鋭角は面白くておまけにそれは吊り易い」ということは嘘だ
事実9: 仮に「「吊り易い」ということは成り立つ」物はあるとすると「あの知的財産は面白くないがそれはしつっこい」ということは偽だ
事実10: ある物は嫌味ったらしい
事実11: もし仮に「この鋭角は面白い」ということは本当だとするとあの知的財産はしつっこいということはない
事実12: 仮になんらかのものは嫌味ったらしいならば「この鋭角は面白くないけれど吊り易い」ということは間違っている
事実13: 「この鋭角はしつっこくない一方で面白い」ということは誤りであるならばあの知的財産は吊り易いということはない
事実14: もし仮に「あの知的財産は吊り易くないがそれは面白い」ということは本当でないとするとこの鋭角はしつっこくない
事実15: 「そのインターネットナンバーは吹き替える」ということは事実であるとしたらあの申請先は吹き替えない
事実16: 「「あの知的財産は吊り易くないけれど議論す」ということは成り立たない」ということは成り立つ
事実17: 仮に「あの知的財産は吊り易くないけどしつっこい」ということは誤っているならこの鋭角は面白くない
事実18: もし仮にとある物は面白いとすると「この鋭角はしつっこくないがしかし吊り易い」ということは間違いである
事実19: もし仮に「あの知的財産はしつっこくないが吊り易い」ということは成り立たないとしたらこの鋭角は面白くない
事実20: その脳神経細胞ネットワークは面白くない

仮説: あの知的財産はしつっこい
1. 事実10と事実12から、推論1: "「この鋭角は面白いということはないが吊り易い」ということは成り立たない"が導かれる
2. 推論1と事実7から、仮説が否定される

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