そのパス上はむず痒くない
fact1: 「恐ろしい」ものはある fact2: 「もし仮にそのパス上は皮肉るということはないならば「そのパス上はむず痒いがそれは睦まじくない」ということは間違っている」ということは本当だ fact3: 何らかのものは自信家でないとすれば「それは恐ろしくない一方で睦まじい」ということは成り立たない fact4: その三十一日現在は恐ろしい fact5: 「「はしたない」ということは成り立つ」ものはある fact6: ある物は睦まじい fact7: もし仮に「なんらかの物は皮肉らないが転業である」ということは誤りだとすれば自信家であるということはない fact8: そのパス上は皮肉らない fact9: その栄養摂取は無声化し易いとしたら「皮肉らないし転業である」ということは嘘だ fact10: もし仮にとある物が睦まじいならばあのパス上はむず痒いしそれにそれは恐ろしい fact11: 「印象深い」ものがあるとしたらそのパス上は睦まじいし出来易い fact12: 「そのパス上は恐ろしい」ということは正しい fact13: もし「「睦まじい」ということは事実と異ならない」ものがあるとしたらそのパス上は恐ろしい fact14: 「転業でない」物はある fact15: 睦まじいものは母性保護である
fact6 & fact10 -> int1: そのパス上はむず痒くて加えて恐ろしい; int1 -> hypothesis;
fact6 & fact10 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
そのパス上はむず痒くない
fact18 -> int2: 仮にその栄養摂取は自信家でないとすると「恐ろしくないがしかし睦まじい」ということは偽だ; fact16 -> int3: 「その栄養摂取は皮肉らないがそれは転業だ」ということは偽だとすれば自信家でない;
$facts$ = fact1: 「恐ろしい」ものはある fact2: 「もし仮にそのパス上は皮肉るということはないならば「そのパス上はむず痒いがそれは睦まじくない」ということは間違っている」ということは本当だ fact3: 何らかのものは自信家でないとすれば「それは恐ろしくない一方で睦まじい」ということは成り立たない fact4: その三十一日現在は恐ろしい fact5: 「「はしたない」ということは成り立つ」ものはある fact6: ある物は睦まじい fact7: もし仮に「なんらかの物は皮肉らないが転業である」ということは誤りだとすれば自信家であるということはない fact8: そのパス上は皮肉らない fact9: その栄養摂取は無声化し易いとしたら「皮肉らないし転業である」ということは嘘だ fact10: もし仮にとある物が睦まじいならばあのパス上はむず痒いしそれにそれは恐ろしい fact11: 「印象深い」ものがあるとしたらそのパス上は睦まじいし出来易い fact12: 「そのパス上は恐ろしい」ということは正しい fact13: もし「「睦まじい」ということは事実と異ならない」ものがあるとしたらそのパス上は恐ろしい fact14: 「転業でない」物はある fact15: 睦まじいものは母性保護である ; $hypothesis$ = そのパス上はむず痒くない ; $proof$ = 
fact6 & fact10 -> int1: そのパス上はむず痒くて加えて恐ろしい; int1 -> hypothesis; __DISPROVED__
事実1: 「恐ろしい」ものはある
事実2: 「もし仮にそのパス上は皮肉るということはないならば「そのパス上はむず痒いがそれは睦まじくない」ということは間違っている」ということは本当だ
事実3: 何らかのものは自信家でないとすれば「それは恐ろしくない一方で睦まじい」ということは成り立たない
事実4: その三十一日現在は恐ろしい
事実5: 「「はしたない」ということは成り立つ」ものはある
事実6: ある物は睦まじい
事実7: もし仮に「なんらかの物は皮肉らないが転業である」ということは誤りだとすれば自信家であるということはない
事実8: そのパス上は皮肉らない
事実9: その栄養摂取は無声化し易いとしたら「皮肉らないし転業である」ということは嘘だ
事実10: もし仮にとある物が睦まじいならばあのパス上はむず痒いしそれにそれは恐ろしい
事実11: 「印象深い」ものがあるとしたらそのパス上は睦まじいし出来易い
事実12: 「そのパス上は恐ろしい」ということは正しい
事実13: もし「「睦まじい」ということは事実と異ならない」ものがあるとしたらそのパス上は恐ろしい
事実14: 「転業でない」物はある
事実15: 睦まじいものは母性保護である

仮説: そのパス上はむず痒くない
1. 事実6と事実10から、推論1: "そのパス上はむず痒くて加えて恐ろしい"が導かれる
2. 推論1から、仮説が否定される

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