このぷゆぷちゃLv.17は心深くない
fact1: 仮に「そのまえまゆLv.60は緩み易い」ということは確かであるとすると「引き難い」ということは成り立つ fact2: 血腥いモンスターは復讐するが取得・登録しない fact3: もし「そのぷわぷねLv.92は復讐するしそれに取得・登録する」ということは事実だということはないならば心深くない fact4: そのぷのぷゆLv.50が緩み易いとすればこのぷゆぷちゃLv.17は取得・登録する fact5: 仮にそのぷのぷゆLv.50が緩み易くてそれに心深しとすればこのぷゆぷちゃLv.17は心深くない fact6: そのぷのぷゆLv.50は緩み易い fact7: もし仮にこのぷゆぷちゃLv.17が復讐するとすればこのぷゆぷちゃLv.17は心深し
fact4 & fact6 -> int1: このぷゆぷちゃLv.17は取得・登録する;
fact4 & fact6 -> int1: {B}{b};
そのぽゆぽちゃLv.90は心深し
fact8 -> int2: もしもそのぽゆぽちゃLv.90が血腥いならそれは復讐するが取得・登録しない;
$facts$ = fact1: 仮に「そのまえまゆLv.60は緩み易い」ということは確かであるとすると「引き難い」ということは成り立つ fact2: 血腥いモンスターは復讐するが取得・登録しない fact3: もし「そのぷわぷねLv.92は復讐するしそれに取得・登録する」ということは事実だということはないならば心深くない fact4: そのぷのぷゆLv.50が緩み易いとすればこのぷゆぷちゃLv.17は取得・登録する fact5: 仮にそのぷのぷゆLv.50が緩み易くてそれに心深しとすればこのぷゆぷちゃLv.17は心深くない fact6: そのぷのぷゆLv.50は緩み易い fact7: もし仮にこのぷゆぷちゃLv.17が復讐するとすればこのぷゆぷちゃLv.17は心深し ; $hypothesis$ = このぷゆぷちゃLv.17は心深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__