「あのみゆみいLv.55は言い尽くすし加えてそれは古し」ということは偽である
fact1: もしこのもにゅもやLv.32が汚らしくてかつそれは後ろめたいとすれば「あのみゆみいLv.55は後ろめたくない」ということは真実だ fact2: あのみゆみいLv.55は後ろめたい fact3: このまにょまにゃLv.79は言い尽くす fact4: あのみゆみいLv.55は言い尽くすし後ろめたい fact5: もしあるモンスターは後ろめたくないなら「それは言い尽くすし加えて古し」ということは成り立たない fact6: あのもやもいLv.59は後ろめたい
fact4 -> int1: あのみゆみいLv.55は言い尽くす;
fact4 -> int1: {A}{a};
このまにょまにゃLv.79は古ししかつ心優しい
$facts$ = fact1: もしこのもにゅもやLv.32が汚らしくてかつそれは後ろめたいとすれば「あのみゆみいLv.55は後ろめたくない」ということは真実だ fact2: あのみゆみいLv.55は後ろめたい fact3: このまにょまにゃLv.79は言い尽くす fact4: あのみゆみいLv.55は言い尽くすし後ろめたい fact5: もしあるモンスターは後ろめたくないなら「それは言い尽くすし加えて古し」ということは成り立たない fact6: あのもやもいLv.59は後ろめたい ; $hypothesis$ = 「あのみゆみいLv.55は言い尽くすし加えてそれは古し」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__