「「女々しいし更に気乗りする」モンスターはいる」ということは間違っている
fact1: もし手堅いモンスターが野暮ったいとするとこのぽねぽねLv.99は女々しい fact2: 「野暮ったい」モンスターはいる fact3: このぽゆぽなLv.60は野暮ったい fact4: このぽゆぽなLv.60は手堅い fact5: 「女々しい」モンスターはいる fact6: 「手堅い」モンスターはいる
fact4 & fact3 -> int1: このぽゆぽなLv.60は手堅いししかも野暮ったい; int1 -> int2: 何らかのモンスターは手堅くておまけにそれは野暮ったい; int2 & fact1 -> int3: このぽねぽねLv.99は女々しい;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> int3: {C}{b};
$facts$ = fact1: もし手堅いモンスターが野暮ったいとするとこのぽねぽねLv.99は女々しい fact2: 「野暮ったい」モンスターはいる fact3: このぽゆぽなLv.60は野暮ったい fact4: このぽゆぽなLv.60は手堅い fact5: 「女々しい」モンスターはいる fact6: 「手堅い」モンスターはいる ; $hypothesis$ = 「「女々しいし更に気乗りする」モンスターはいる」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__