あのプールは吝い
fact1: この鋼管が料金であるとすればあのプールは吝い fact2: もし仮にこの鋼管が高分化型でないなら料金でなくてそれは二十二ミリメートルＨＧ以上でない fact3: この鋼管は二十二ミリメートルＨＧ以上であるか料金である fact4: 仮にこの鋼管が二十二ミリメートルＨＧ以上であるとしたらあのプールは吝い
fact3 & fact4 & fact1 -> hypothesis;
fact3 & fact4 & fact1 -> hypothesis;
あのプールは吝いということはない
$facts$ = fact1: この鋼管が料金であるとすればあのプールは吝い fact2: もし仮にこの鋼管が高分化型でないなら料金でなくてそれは二十二ミリメートルＨＧ以上でない fact3: この鋼管は二十二ミリメートルＨＧ以上であるか料金である fact4: 仮にこの鋼管が二十二ミリメートルＨＧ以上であるとしたらあのプールは吝い ; $hypothesis$ = あのプールは吝い ; $proof$ = 
fact3 & fact4 & fact1 -> hypothesis; __PROVED__
事実1: この鋼管が料金であるとすればあのプールは吝い
事実2: もし仮にこの鋼管が高分化型でないなら料金でなくてそれは二十二ミリメートルＨＧ以上でない
事実3: この鋼管は二十二ミリメートルＨＧ以上であるか料金である
事実4: 仮にこの鋼管が二十二ミリメートルＨＧ以上であるとしたらあのプールは吝い

仮説: あのプールは吝い
1. 事実3と事実4と事実1から、仮説が導かれる

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