あの観光課は眠い
fact1: その分離型はふてぶてしくないし更に据えない fact2: もしもあの観光課が専門分化しなくて眠くないなら「それは挨拶するということはない」ということは事実である fact3: もしこの特性が推認出来ないならその三箇年計画は住処であるかもしくは際立つかあるいは両方だ fact4: あの観光課は苔むさないしそれはふてぶてしくない fact5: あの貝殻はふてぶてしいということはない fact6: あの業者間は苔むさない fact7: あの観光課が苔むさないしその上それがふてぶてしくないならばそれは眠くない fact8: あの愛染鬘はふてぶてしくない fact9: その顔全体はふてぶてしくない fact10: もし仮にあの観光課は受け難くなくてまた新星でないとすると眠くない fact11: あの観光課は裁断しなくて使い果たさない fact12: もしあの観光課がすごーいが物凄ーくないとするとそれはふてぶてしくない fact13: あの観光課は戦国最強でない fact14: もしあの観光課はふてぶてしい一方で民族運動でないとすれば配達であるということはない fact15: 仮にあの観光課は座禅でないし夏らしくないとするとそれは眠くない fact16: 仮にこの別件闇融資は毒々しかなくて天丼でないならそれは眠くない
fact7 & fact4 -> hypothesis;
fact7 & fact4 -> hypothesis;
あの観光課は眠い
$facts$ = fact1: その分離型はふてぶてしくないし更に据えない fact2: もしもあの観光課が専門分化しなくて眠くないなら「それは挨拶するということはない」ということは事実である fact3: もしこの特性が推認出来ないならその三箇年計画は住処であるかもしくは際立つかあるいは両方だ fact4: あの観光課は苔むさないしそれはふてぶてしくない fact5: あの貝殻はふてぶてしいということはない fact6: あの業者間は苔むさない fact7: あの観光課が苔むさないしその上それがふてぶてしくないならばそれは眠くない fact8: あの愛染鬘はふてぶてしくない fact9: その顔全体はふてぶてしくない fact10: もし仮にあの観光課は受け難くなくてまた新星でないとすると眠くない fact11: あの観光課は裁断しなくて使い果たさない fact12: もしあの観光課がすごーいが物凄ーくないとするとそれはふてぶてしくない fact13: あの観光課は戦国最強でない fact14: もしあの観光課はふてぶてしい一方で民族運動でないとすれば配達であるということはない fact15: 仮にあの観光課は座禅でないし夏らしくないとするとそれは眠くない fact16: 仮にこの別件闇融資は毒々しかなくて天丼でないならそれは眠くない ; $hypothesis$ = あの観光課は眠い ; $proof$ = 
fact7 & fact4 -> hypothesis; __DISPROVED__
事実1: その分離型はふてぶてしくないし更に据えない
事実2: もしもあの観光課が専門分化しなくて眠くないなら「それは挨拶するということはない」ということは事実である
事実3: もしこの特性が推認出来ないならその三箇年計画は住処であるかもしくは際立つかあるいは両方だ
事実4: あの観光課は苔むさないしそれはふてぶてしくない
事実5: あの貝殻はふてぶてしいということはない
事実6: あの業者間は苔むさない
事実7: あの観光課が苔むさないしその上それがふてぶてしくないならばそれは眠くない
事実8: あの愛染鬘はふてぶてしくない
事実9: その顔全体はふてぶてしくない
事実10: もし仮にあの観光課は受け難くなくてまた新星でないとすると眠くない
事実11: あの観光課は裁断しなくて使い果たさない
事実12: もしあの観光課がすごーいが物凄ーくないとするとそれはふてぶてしくない
事実13: あの観光課は戦国最強でない
事実14: もしあの観光課はふてぶてしい一方で民族運動でないとすれば配達であるということはない
事実15: 仮にあの観光課は座禅でないし夏らしくないとするとそれは眠くない
事実16: 仮にこの別件闇融資は毒々しかなくて天丼でないならそれは眠くない

仮説: あの観光課は眠い
1. 事実7と事実4から、仮説が否定される

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