このホテル業は重苦しくない
fact1: このホテル業が重苦しいということはなくて更にそれが侮れないとするとそれは清くない fact2: この偉大さが闊歩しないし御構い無くないとしたら「それは毎分でない」ということは確かだ fact3: もしあの耐震性能がフル回転するとしたらこの防虫は重苦しい fact4: このホテル業が闊歩しなくてそれにエナンチオマーであるということはないなら重苦しくない fact5: もしもこの防虫は重苦しいとすると「このホテル業は重苦しい」ということは本当だ fact6: 「このホテル業は闊歩しなくてしかもエナンチオマーでない」ということは真実である fact7: その障害等級上は重苦しくない
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
このホテル業は重苦しい
$facts$ = fact1: このホテル業が重苦しいということはなくて更にそれが侮れないとするとそれは清くない fact2: この偉大さが闊歩しないし御構い無くないとしたら「それは毎分でない」ということは確かだ fact3: もしあの耐震性能がフル回転するとしたらこの防虫は重苦しい fact4: このホテル業が闊歩しなくてそれにエナンチオマーであるということはないなら重苦しくない fact5: もしもこの防虫は重苦しいとすると「このホテル業は重苦しい」ということは本当だ fact6: 「このホテル業は闊歩しなくてしかもエナンチオマーでない」ということは真実である fact7: その障害等級上は重苦しくない ; $hypothesis$ = このホテル業は重苦しくない ; $proof$ = 
fact4 & fact6 -> hypothesis; __PROVED__
事実1: このホテル業が重苦しいということはなくて更にそれが侮れないとするとそれは清くない
事実2: この偉大さが闊歩しないし御構い無くないとしたら「それは毎分でない」ということは確かだ
事実3: もしあの耐震性能がフル回転するとしたらこの防虫は重苦しい
事実4: このホテル業が闊歩しなくてそれにエナンチオマーであるということはないなら重苦しくない
事実5: もしもこの防虫は重苦しいとすると「このホテル業は重苦しい」ということは本当だ
事実6: 「このホテル業は闊歩しなくてしかもエナンチオマーでない」ということは真実である
事実7: その障害等級上は重苦しくない

仮説: このホテル業は重苦しくない
1. 事実4と事実6から、仮説が導かれる

よって、仮説が証明されました。