このまゆまえLv.74は青黒いししかも捲れ上がる
fact1: すばしこくないモンスターは怒り続けないかまたは集め易くないか両方ともである fact2: あのぷゆぷにゃLv.78がすばしこくないとしたらこのまゆまえLv.74は集め易いしおまけに怒り続ける fact3: 集め易いモンスターは出る fact4: もし仮にあのぷわぷねLv.40が集め易いならばこのまゆまえLv.74は怒り続ける fact5: このまゆまえLv.74がすばしこいとしたらこのまゆまえLv.74は青黒い fact6: このまゆまえLv.74は捲れ上がる fact7: あのぷゆぷにゃLv.78は出る fact8: 仮にあのぷゆぷにゃLv.78は出るとすると「あのぷわぷねLv.40は集め易い」ということは誤っているということはない
fact8 & fact7 -> int1: あのぷわぷねLv.40は集め易い; int1 & fact4 -> int2: このまゆまえLv.74は怒り続ける;
fact8 & fact7 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c};
このまゆまえLv.74は出る
fact10 -> int3: もしもこのまゆまえLv.74が集め易いならそれは出る;
$facts$ = fact1: すばしこくないモンスターは怒り続けないかまたは集め易くないか両方ともである fact2: あのぷゆぷにゃLv.78がすばしこくないとしたらこのまゆまえLv.74は集め易いしおまけに怒り続ける fact3: 集め易いモンスターは出る fact4: もし仮にあのぷわぷねLv.40が集め易いならばこのまゆまえLv.74は怒り続ける fact5: このまゆまえLv.74がすばしこいとしたらこのまゆまえLv.74は青黒い fact6: このまゆまえLv.74は捲れ上がる fact7: あのぷゆぷにゃLv.78は出る fact8: 仮にあのぷゆぷにゃLv.78は出るとすると「あのぷわぷねLv.40は集め易い」ということは誤っているということはない ; $hypothesis$ = このまゆまえLv.74は青黒いししかも捲れ上がる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__