あのみわみくLv.88は書き上がらない
fact1: あのみわみくLv.88は塩辛い fact2: 仮にそのみくみえLv.37が入封するとすればそのみくみえLv.37は黒い fact3: もしそのみくみえLv.37が黒いならば塩辛い fact4: そのみくみえLv.37は入封する fact5: もしもそのみくみえLv.37が塩辛いとすればあのみわみくLv.88は書き上がる fact6: もし仮にあるモンスターが結婚し為さるとすれば書き上がる
fact2 & fact4 -> int1: そのみくみえLv.37は黒い; int1 & fact3 -> int2: そのみくみえLv.37は塩辛い; int2 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
このぷにゅぷにゅLv.60が結婚し為さるならこのぷにゅぷにゅLv.60は書き上がる
fact7 -> hypothesis;
$facts$ = fact1: あのみわみくLv.88は塩辛い fact2: 仮にそのみくみえLv.37が入封するとすればそのみくみえLv.37は黒い fact3: もしそのみくみえLv.37が黒いならば塩辛い fact4: そのみくみえLv.37は入封する fact5: もしもそのみくみえLv.37が塩辛いとすればあのみわみくLv.88は書き上がる fact6: もし仮にあるモンスターが結婚し為さるとすれば書き上がる ; $hypothesis$ = あのみわみくLv.88は書き上がらない ; $proof$ = 
fact2 & fact4 -> int1: そのみくみえLv.37は黒い; int1 & fact3 -> int2: そのみくみえLv.37は塩辛い; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __DISPROVED__