この百済寺は賢くない
fact1: あの細胞膜は主軸である fact2: あの細胞膜は賢い fact3: なにがしかのものが主軸であるし加えて面白いとすればあの百済寺は賢くない fact4: あの細胞膜は面白い
fact1 & fact4 -> int1: あの細胞膜は主軸でかつ面白い; int1 -> int2: なにかは主軸で更に面白い; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: あの細胞膜は主軸である fact2: あの細胞膜は賢い fact3: なにがしかのものが主軸であるし加えて面白いとすればあの百済寺は賢くない fact4: あの細胞膜は面白い ; $hypothesis$ = この百済寺は賢くない ; $proof$ = 
fact1 & fact4 -> int1: あの細胞膜は主軸でかつ面白い; int1 -> int2: なにかは主軸で更に面白い; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの細胞膜は主軸である
事実2: あの細胞膜は賢い
事実3: なにがしかのものが主軸であるし加えて面白いとすればあの百済寺は賢くない
事実4: あの細胞膜は面白い

仮説: この百済寺は賢くない
1. 事実1と事実4から、推論1: "あの細胞膜は主軸でかつ面白い"が導かれる
2. 推論1から、推論2: "なにかは主軸で更に面白い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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