その神経細胞間は腸管粘膜だ
fact1: その神経細胞間はビット深度だ fact2: 仮にその神経細胞間がビット深度ならそれは転ばさないが腸管粘膜だ
fact2 & fact1 -> int1: その神経細胞間は転ばすということはないが腸管粘膜である; int1 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
$facts$ = fact1: その神経細胞間はビット深度だ fact2: 仮にその神経細胞間がビット深度ならそれは転ばさないが腸管粘膜だ ; $hypothesis$ = その神経細胞間は腸管粘膜だ ; $proof$ = 
fact2 & fact1 -> int1: その神経細胞間は転ばすということはないが腸管粘膜である; int1 -> hypothesis; __PROVED__
事実1: その神経細胞間はビット深度だ
事実2: 仮にその神経細胞間がビット深度ならそれは転ばさないが腸管粘膜だ

仮説: その神経細胞間は腸管粘膜だ
1. 事実2と事実1から、推論1: "その神経細胞間は転ばすということはないが腸管粘膜である"が導かれる
2. 推論1から、仮説が導かれる

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