そのぷねぷゆLv.62は喚き散らさない
fact1: 発現し易くないモンスターは食べ易いし相応しい fact2: すべてのモンスターは育ち合えるしそれに馴染み難い fact3: あのみにょみにゃLv.67は若者らしい fact4: もしもあのみにょみにゃLv.67が育ち合えるとしたらそのぷねぷゆLv.62は食べ易い fact5: もしあのみにょみにゃLv.67が若者らしいとするとあのみにょみにゃLv.67は発現し易くない fact6: 仮に何らかのモンスターが喚き散らすとすると読み難い fact7: もし仮にそのぷねぷゆLv.62が食べ易いならばそのぷねぷゆLv.62は喚き散らす
fact2 -> int1: あのみにょみにゃLv.67は育ち合えるし更に馴染み難い; int1 -> int2: あのみにょみにゃLv.67は育ち合える; int2 & fact4 -> int3: そのぷねぷゆLv.62は食べ易い; int3 & fact7 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> hypothesis;
仮にこのみにゃみのLv.35が喚き散らすとするとこのみにゃみのLv.35は読み難い
fact8 -> hypothesis;
$facts$ = fact1: 発現し易くないモンスターは食べ易いし相応しい fact2: すべてのモンスターは育ち合えるしそれに馴染み難い fact3: あのみにょみにゃLv.67は若者らしい fact4: もしもあのみにょみにゃLv.67が育ち合えるとしたらそのぷねぷゆLv.62は食べ易い fact5: もしあのみにょみにゃLv.67が若者らしいとするとあのみにょみにゃLv.67は発現し易くない fact6: 仮に何らかのモンスターが喚き散らすとすると読み難い fact7: もし仮にそのぷねぷゆLv.62が食べ易いならばそのぷねぷゆLv.62は喚き散らす ; $hypothesis$ = そのぷねぷゆLv.62は喚き散らさない ; $proof$ = 
fact2 -> int1: あのみにょみにゃLv.67は育ち合えるし更に馴染み難い; int1 -> int2: あのみにょみにゃLv.67は育ち合える; int2 & fact4 -> int3: そのぷねぷゆLv.62は食べ易い; int3 & fact7 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> hypothesis; __DISPROVED__