その管腔側はひょろ長いし更に攻撃し易い
fact1: もし仮にそのプール付きが泡立ちであるとしたらその管腔側は攻撃し易い fact2: そのプール付きは泡立ちでそれは繰る fact3: その管腔側はひょろ長い
fact2 -> int1: そのプール付きは泡立ちだ; int1 & fact1 -> int2: その管腔側は攻撃し易い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にそのプール付きが泡立ちであるとしたらその管腔側は攻撃し易い fact2: そのプール付きは泡立ちでそれは繰る fact3: その管腔側はひょろ長い ; $hypothesis$ = その管腔側はひょろ長いし更に攻撃し易い ; $proof$ = 
fact2 -> int1: そのプール付きは泡立ちだ; int1 & fact1 -> int2: その管腔側は攻撃し易い; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にそのプール付きが泡立ちであるとしたらその管腔側は攻撃し易い
事実2: そのプール付きは泡立ちでそれは繰る
事実3: その管腔側はひょろ長い

仮説: その管腔側はひょろ長いし更に攻撃し易い
1. 事実2から、推論1: "そのプール付きは泡立ちだ"が導かれる
2. 推論1と事実1から、推論2: "その管腔側は攻撃し易い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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