この覚えは濃くない
fact1: この覚えは事業機能である fact2: 仮になにがしかのものは手痛いとすれば「それは事業機能であるしさらに濃くない」ということは確かである fact3: あの民集は濃い fact4: 仮にこの覚えは事業機能であるとしたら「それは濃いということはない」ということは真実である
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
あの事前確認制度は濃くない
fact5 -> int1: もしあの事前確認制度が手痛いとすれば事業機能だ一方で濃いということはない;
$facts$ = fact1: この覚えは事業機能である fact2: 仮になにがしかのものは手痛いとすれば「それは事業機能であるしさらに濃くない」ということは確かである fact3: あの民集は濃い fact4: 仮にこの覚えは事業機能であるとしたら「それは濃いということはない」ということは真実である ; $hypothesis$ = この覚えは濃くない ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: この覚えは事業機能である
事実2: 仮になにがしかのものは手痛いとすれば「それは事業機能であるしさらに濃くない」ということは確かである
事実3: あの民集は濃い
事実4: 仮にこの覚えは事業機能であるとしたら「それは濃いということはない」ということは真実である

仮説: この覚えは濃くない
1. 事実4と事実1から、仮説が導かれる

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