そのブルーブックは陰気臭くない
fact1: もし仮になんらかのものが晴天時でないとすれば急ぐということはないし飲み難くない fact2: 陰気臭くて更に飲み難くないものが急はない fact3: そのブルーブックは急ぐ fact4: もしもそのブルーブックが晴天時であるけれどアイバンクであるということはないとすればこのフロートは晴天時であるということはない fact5: そのブルーブックは陰気臭くないがしかしそれは急ぐ fact6: もしもとあるものは晴天時でないとしたら陰気臭いがしかし飲み難くない
fact5 -> hypothesis;
fact5 -> hypothesis;
そのブルーブックは陰気臭い
fact7 -> int1: もしもこの木立ちが晴天時でないとすればそれが急はなくて加えて飲み難くない;
$facts$ = fact1: もし仮になんらかのものが晴天時でないとすれば急ぐということはないし飲み難くない fact2: 陰気臭くて更に飲み難くないものが急はない fact3: そのブルーブックは急ぐ fact4: もしもそのブルーブックが晴天時であるけれどアイバンクであるということはないとすればこのフロートは晴天時であるということはない fact5: そのブルーブックは陰気臭くないがしかしそれは急ぐ fact6: もしもとあるものは晴天時でないとしたら陰気臭いがしかし飲み難くない ; $hypothesis$ = そのブルーブックは陰気臭くない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものが晴天時でないとすれば急ぐということはないし飲み難くない
事実2: 陰気臭くて更に飲み難くないものが急はない
事実3: そのブルーブックは急ぐ
事実4: もしもそのブルーブックが晴天時であるけれどアイバンクであるということはないとすればこのフロートは晴天時であるということはない
事実5: そのブルーブックは陰気臭くないがしかしそれは急ぐ
事実6: もしもとあるものは晴天時でないとしたら陰気臭いがしかし飲み難くない

仮説: そのブルーブックは陰気臭くない
1. 事実5から、仮説が導かれる

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