あのぷにょぷにゃLv.47はどうしても欲しくない
fact1: もし仮に「とあるモンスターは掛かり過ぎる」ということは事実であるとすれば手当てする fact2: あのぷにょぷにゃLv.47は手当てする fact3: 呪わしいモンスターは正しい fact4: あのぷにょぷにゃLv.47は手当てするし加えてそれは掛かり過ぎる fact5: あのみちゅみちゃLv.48は掛かり過ぎる
fact4 -> int1: あのぷにょぷにゃLv.47は掛かり過ぎる;
fact4 -> int1: {B}{a};
あのみちゅみちゃLv.48はどうしても欲しくてまた正しい
fact8 -> int2: あのみちゅみちゃLv.48が掛かり過ぎるとしたらあのみちゅみちゃLv.48は手当てする; int2 & fact6 -> int3: 「あのみちゅみちゃLv.48は手当てする」ということは正しい; fact7 -> int4: 仮にあのみちゅみちゃLv.48が呪わしいとするとあのみちゅみちゃLv.48は正しい;
$facts$ = fact1: もし仮に「とあるモンスターは掛かり過ぎる」ということは事実であるとすれば手当てする fact2: あのぷにょぷにゃLv.47は手当てする fact3: 呪わしいモンスターは正しい fact4: あのぷにょぷにゃLv.47は手当てするし加えてそれは掛かり過ぎる fact5: あのみちゅみちゃLv.48は掛かり過ぎる ; $hypothesis$ = あのぷにょぷにゃLv.47はどうしても欲しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__