「仮にあのもにゃもやLv.30は常連らしいとすれば「あのもにゃもやLv.30はめんどいということはない」ということは成り立つ」ということは嘘である
fact1: あのもにゃもやLv.30は移り難い fact2: もしもあのもにゃもやLv.30が常連らしいとしたらあのもにゃもやLv.30はめんどい
void -> assump1: 以下のように仮定する。あのもにゃもやLv.30は常連らしい; assump1 & fact1 -> int1: あのもにゃもやLv.30は常連らしいしおまけに移り難い;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a});
$facts$ = fact1: あのもにゃもやLv.30は移り難い fact2: もしもあのもにゃもやLv.30が常連らしいとしたらあのもにゃもやLv.30はめんどい ; $hypothesis$ = 「仮にあのもにゃもやLv.30は常連らしいとすれば「あのもにゃもやLv.30はめんどいということはない」ということは成り立つ」ということは嘘である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__