あのまのまちょLv.77は艶めかしい
fact1: 「もしもこのぷくぷちゃLv.88が愛らしいとすればこのぷくぷちゃLv.88は呆気ない」ということは真実だ fact2: もしあのまゆまいLv.38が残り易いとすればこのぷくぷちゃLv.88は愛らしい fact3: もしも「なにがしかのモンスターは丸呑みする一方で愛しない」ということは事実でないとしたら残り易い fact4: もし仮にこのぷくぷちゃLv.88が呆気ないとすればあのまのまちょLv.77は艶めかしい
fact3 -> int1: 「あのまゆまいLv.38は丸呑みする一方で愛しない」ということは成り立たないとするとあのまゆまいLv.38は残り易い;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa};
$facts$ = fact1: 「もしもこのぷくぷちゃLv.88が愛らしいとすればこのぷくぷちゃLv.88は呆気ない」ということは真実だ fact2: もしあのまゆまいLv.38が残り易いとすればこのぷくぷちゃLv.88は愛らしい fact3: もしも「なにがしかのモンスターは丸呑みする一方で愛しない」ということは事実でないとしたら残り易い fact4: もし仮にこのぷくぷちゃLv.88が呆気ないとすればあのまのまちょLv.77は艶めかしい ; $hypothesis$ = あのまのまちょLv.77は艶めかしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__