以下のように仮定する。あのもちょもゆLv.9は責め殺すがしかし言い逃れない
fact1: もしも何らかのモンスターは勝ち易いなら「それは責め殺すがしかし言い逃れない」ということは本当だ fact2: そのもにゅもちゅLv.11は勝ち易くない fact3: 「あのもちょもゆLv.9は責め殺すし言い逃れる」ということは事実と異なる
void -> assump1: 以下のように仮定する。あのもちょもゆLv.9は責め殺すがしかし言い逃れない; assump1 -> int1: あのもちょもゆLv.9は責め殺す;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: {A}{a};
以下のように仮定する。あのもちょもゆLv.9は責め殺すがしかし言い逃れない
fact4 -> int2: もし仮にあのもちょもゆLv.9が勝ち易いとしたらあのもちょもゆLv.9は責め殺すが言い逃れない;
$facts$ = fact1: もしも何らかのモンスターは勝ち易いなら「それは責め殺すがしかし言い逃れない」ということは本当だ fact2: そのもにゅもちゅLv.11は勝ち易くない fact3: 「あのもちょもゆLv.9は責め殺すし言い逃れる」ということは事実と異なる ; $hypothesis$ = 以下のように仮定する。あのもちょもゆLv.9は責め殺すがしかし言い逃れない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__