このみにゅみにょLv.52は貧乏臭い
fact1: もしもこのまにゅまいLv.77が御忙しいとすると信心深い fact2: このまにゅまいLv.77は御忙しいし行儀良い fact3: このみにゅみにょLv.52は御忙しい fact4: すべてのモンスターは突っ掛かる fact5: このまにゅまいLv.77が信心深いとするとこのみにゅみにょLv.52は信心深い
fact4 -> int1: このみにゅみにょLv.52は突っ掛かる; int1 & fact3 -> int2: このみにゅみにょLv.52は御忙しいしおまけに突っ掛かる;
fact4 -> int1: {A}{aa}; int1 & fact3 -> int2: ({B}{aa} & {A}{aa});
このみにゅみにょLv.52は信心深いしかつ来難い
fact6 -> int3: 「このまにゅまいLv.77は御忙しい」ということは誤っているということはない; fact7 & int3 -> int4: このまにゅまいLv.77は信心深い; fact8 & int4 -> int5: このみにゅみにょLv.52は信心深い;
$facts$ = fact1: もしもこのまにゅまいLv.77が御忙しいとすると信心深い fact2: このまにゅまいLv.77は御忙しいし行儀良い fact3: このみにゅみにょLv.52は御忙しい fact4: すべてのモンスターは突っ掛かる fact5: このまにゅまいLv.77が信心深いとするとこのみにゅみにょLv.52は信心深い ; $hypothesis$ = このみにゅみにょLv.52は貧乏臭い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__