「あのぽわぽよLv.42は動き易くないがしかし酸っぱい」ということは誤っている
fact1: 動き易くないモンスターが酸っぱいとすれば伸び易い fact2: 「あのぴやぴちゅLv.6は酸っぱくない」ということは事実である
fact1 -> int1: もしあのぽわぽよLv.42が動き易くないけど酸っぱいならばあのぽわぽよLv.42は伸び易い; void -> assump1: 以下のように仮定する。あのぽわぽよLv.42は動き易くないけれど酸っぱい; int1 & assump1 -> int2: あのぽわぽよLv.42は伸び易い;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; void -> assump1: (¬{AA}{aa} & {AB}{aa}); int1 & assump1 -> int2: {B}{aa};
$facts$ = fact1: 動き易くないモンスターが酸っぱいとすれば伸び易い fact2: 「あのぴやぴちゅLv.6は酸っぱくない」ということは事実である ; $hypothesis$ = 「あのぽわぽよLv.42は動き易くないがしかし酸っぱい」ということは誤っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__