そのまちゅまちゅLv.48は言い辛いということはないけれど難しい
fact1: 仮にあるモンスターは紛れれば「それは餌付けするし集め易くない」ということは確かだということはない fact2: もし仮にこのもねもよLv.23が集め易くないならそれは言い辛くなくてそれは事らしい fact3: 「あのまにょまにゃLv.61は餌付けするけど集め易いということはない」ということは成り立たないとするとこのもねもよLv.23は難しくない fact4: そのまちゅまちゅLv.48は難しい fact5: このもねもよLv.23は集め易くない fact6: もしこのもねもよLv.23が言い辛いということはないとするとそのまちゅまちゅLv.48は言い辛くないがしかしそれは難しい fact7: もしもとあるモンスターが排便しないとしたらそれは複数指定しないけれど気怠い
fact2 & fact5 -> int1: このもねもよLv.23は言い辛いということはない一方でそれは事らしい; int1 -> int2: このもねもよLv.23は言い辛くない; int2 & fact6 -> hypothesis;
fact2 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: ¬{AA}{a}; int2 & fact6 -> hypothesis;
このものもえLv.71が排便しないとしたら複数指定しなくて気怠い
fact8 -> hypothesis;
$facts$ = fact1: 仮にあるモンスターは紛れれば「それは餌付けするし集め易くない」ということは確かだということはない fact2: もし仮にこのもねもよLv.23が集め易くないならそれは言い辛くなくてそれは事らしい fact3: 「あのまにょまにゃLv.61は餌付けするけど集め易いということはない」ということは成り立たないとするとこのもねもよLv.23は難しくない fact4: そのまちゅまちゅLv.48は難しい fact5: このもねもよLv.23は集め易くない fact6: もしこのもねもよLv.23が言い辛いということはないとするとそのまちゅまちゅLv.48は言い辛くないがしかしそれは難しい fact7: もしもとあるモンスターが排便しないとしたらそれは複数指定しないけれど気怠い ; $hypothesis$ = そのまちゅまちゅLv.48は言い辛いということはないけれど難しい ; $proof$ = 
fact2 & fact5 -> int1: このもねもよLv.23は言い辛いということはない一方でそれは事らしい; int1 -> int2: このもねもよLv.23は言い辛くない; int2 & fact6 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: ¬{AA}{a}; int2 & fact6 -> hypothesis; __PROVED__