このまくまちゃLv.52は御めでたくない
fact1: もしあのみわみゆLv.20が御めでたいとしたらこのまくまちゃLv.52は御めでたい fact2: このまくまちゃLv.52は形成され易い fact3: もしあのまわまにLv.99が御寂しいならばそのもちゃもくLv.34は御寂しい fact4: 「このまくまちゃLv.52は御強い」ということは事実と異ならない fact5: もし仮にこのまくまちゃLv.52が御強いとしたらこのまくまちゃLv.52は御寂しい fact6: もしそのもちゃもくLv.34が御寂しいならあのみわみゆLv.20は御強い fact7: もしも「このまくまちゃLv.52は御寂しくてさらにそれは形成され易い」ということは正しいとすればそれは御めでたくない
fact5 & fact4 -> int1: このまくまちゃLv.52は御寂しい; int1 & fact2 -> int2: このまくまちゃLv.52は御寂しいしかつ形成され易い; int2 & fact7 -> hypothesis;
fact5 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
このまくまちゃLv.52は御めでたい
$facts$ = fact1: もしあのみわみゆLv.20が御めでたいとしたらこのまくまちゃLv.52は御めでたい fact2: このまくまちゃLv.52は形成され易い fact3: もしあのまわまにLv.99が御寂しいならばそのもちゃもくLv.34は御寂しい fact4: 「このまくまちゃLv.52は御強い」ということは事実と異ならない fact5: もし仮にこのまくまちゃLv.52が御強いとしたらこのまくまちゃLv.52は御寂しい fact6: もしそのもちゃもくLv.34が御寂しいならあのみわみゆLv.20は御強い fact7: もしも「このまくまちゃLv.52は御寂しくてさらにそれは形成され易い」ということは正しいとすればそれは御めでたくない ; $hypothesis$ = このまくまちゃLv.52は御めでたくない ; $proof$ = 
fact5 & fact4 -> int1: このまくまちゃLv.52は御寂しい; int1 & fact2 -> int2: このまくまちゃLv.52は御寂しいしかつ形成され易い; int2 & fact7 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __PROVED__