あのぴねぴのLv.92は吸収し易くない
fact1: あのみよみくLv.18は溜まり易い fact2: もし仮にそのまえまにゃLv.20が御待ちするならそのまえまにゃLv.20は強し fact3: もしもあのみよみくLv.18が溜まり易いならそのまえまにゃLv.20は御待ちする fact4: あのぴにゃぴのLv.90は作り難くない fact5: あのもねもにゅLv.74は溜まり易い fact6: もしもなんらかのモンスターが溜まり易いとすればそれは吸収し易くない fact7: もしそのまえまにゃLv.20は強しとすると「あのぴねぴのLv.92は吸収し易い」ということは正しい fact8: もし仮に「そのまえまにゃLv.20は近しないがしかし戻り給う」ということは真実でないならあのみよみくLv.18は強しない
fact3 & fact1 -> int1: 「そのまえまにゃLv.20は御待ちする」ということは成り立つ; int1 & fact2 -> int2: そのまえまにゃLv.20は強し; int2 & fact7 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
あのぴねぴのLv.92は吸収し易くない
fact9 -> int3: 仮にあのぴねぴのLv.92が溜まり易いとしたらあのぴねぴのLv.92は吸収し易いということはない; fact11 -> int4: 「作り難くない」モンスターはいる;
$facts$ = fact1: あのみよみくLv.18は溜まり易い fact2: もし仮にそのまえまにゃLv.20が御待ちするならそのまえまにゃLv.20は強し fact3: もしもあのみよみくLv.18が溜まり易いならそのまえまにゃLv.20は御待ちする fact4: あのぴにゃぴのLv.90は作り難くない fact5: あのもねもにゅLv.74は溜まり易い fact6: もしもなんらかのモンスターが溜まり易いとすればそれは吸収し易くない fact7: もしそのまえまにゃLv.20は強しとすると「あのぴねぴのLv.92は吸収し易い」ということは正しい fact8: もし仮に「そのまえまにゃLv.20は近しないがしかし戻り給う」ということは真実でないならあのみよみくLv.18は強しない ; $hypothesis$ = あのぴねぴのLv.92は吸収し易くない ; $proof$ = 
fact3 & fact1 -> int1: 「そのまえまにゃLv.20は御待ちする」ということは成り立つ; int1 & fact2 -> int2: そのまえまにゃLv.20は強し; int2 & fact7 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> hypothesis; __DISPROVED__