その好況時はしんどかない
fact1: もしその観光目的がバリアーならばその好況時はしんどい fact2: 「その観光目的は成され易い」ということは確かである fact3: 仮に「なんらかの物は小難しくない」ということは本当だとしたらそれはバリアーであるし成され易い fact4: もし仮にその好況時が成され易いとすればその観光目的はしんどい fact5: もし「その観光目的はしんどかない」ということは成り立てばその好況時はしんどかない fact6: あのスカイスクレーパーが成され易いとすると届け出る fact7: あの直は成され易い fact8: 小難しくないものは脱色するしまたバリアーだ fact9: その観光目的は成され易いしバリアーである
fact9 -> int1: その観光目的はバリアーだ; int1 & fact1 -> hypothesis;
fact9 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのスカイスクレーパーは届け出るしその上脱色する
fact11 -> int2: もしもあのスカイスクレーパーが小難しくないなら脱色するしおまけにバリアーだ;
$facts$ = fact1: もしその観光目的がバリアーならばその好況時はしんどい fact2: 「その観光目的は成され易い」ということは確かである fact3: 仮に「なんらかの物は小難しくない」ということは本当だとしたらそれはバリアーであるし成され易い fact4: もし仮にその好況時が成され易いとすればその観光目的はしんどい fact5: もし「その観光目的はしんどかない」ということは成り立てばその好況時はしんどかない fact6: あのスカイスクレーパーが成され易いとすると届け出る fact7: あの直は成され易い fact8: 小難しくないものは脱色するしまたバリアーだ fact9: その観光目的は成され易いしバリアーである ; $hypothesis$ = その好況時はしんどかない ; $proof$ = 
fact9 -> int1: その観光目的はバリアーだ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその観光目的がバリアーならばその好況時はしんどい
事実2: 「その観光目的は成され易い」ということは確かである
事実3: 仮に「なんらかの物は小難しくない」ということは本当だとしたらそれはバリアーであるし成され易い
事実4: もし仮にその好況時が成され易いとすればその観光目的はしんどい
事実5: もし「その観光目的はしんどかない」ということは成り立てばその好況時はしんどかない
事実6: あのスカイスクレーパーが成され易いとすると届け出る
事実7: あの直は成され易い
事実8: 小難しくないものは脱色するしまたバリアーだ
事実9: その観光目的は成され易いしバリアーである

仮説: その好況時はしんどかない
1. 事実9から、推論1: "その観光目的はバリアーだ"が導かれる
2. 推論1と事実1から、仮説が否定される

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