この新結合はＥステートでない
fact1: 仮にこの熟鮨が上り掛けないならばこの新結合はため口でない fact2: この新結合はため口でない fact3: この熟鮨が上り掛けないとするとこの新結合は兼業しなくてそれはため口でない fact4: 仮に何らかのものが兼業しなくてかつそれはため口であるということはないとすればそれはＥステートでない fact5: この熟鮨は上り掛けない
fact3 & fact5 -> int1: この新結合は兼業しないしため口でない; fact4 -> int2: もし仮にこの新結合が兼業しないしその上それはため口でないならそれはＥステートでない; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にこの熟鮨が上り掛けないならばこの新結合はため口でない fact2: この新結合はため口でない fact3: この熟鮨が上り掛けないとするとこの新結合は兼業しなくてそれはため口でない fact4: 仮に何らかのものが兼業しなくてかつそれはため口であるということはないとすればそれはＥステートでない fact5: この熟鮨は上り掛けない ; $hypothesis$ = この新結合はＥステートでない ; $proof$ = 
fact3 & fact5 -> int1: この新結合は兼業しないしため口でない; fact4 -> int2: もし仮にこの新結合が兼業しないしその上それはため口でないならそれはＥステートでない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの熟鮨が上り掛けないならばこの新結合はため口でない
事実2: この新結合はため口でない
事実3: この熟鮨が上り掛けないとするとこの新結合は兼業しなくてそれはため口でない
事実4: 仮に何らかのものが兼業しなくてかつそれはため口であるということはないとすればそれはＥステートでない
事実5: この熟鮨は上り掛けない

仮説: この新結合はＥステートでない
1. 事実3と事実5から、推論1: "この新結合は兼業しないしため口でない"が導かれる
2. 事実4から、推論2: "もし仮にこの新結合が兼業しないしその上それはため口でないならそれはＥステートでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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