このみえみゆLv.62は押し迫らない
fact1: このみえみゆLv.62が拙いとしたらこのみえみゆLv.62は愛くるしい fact2: もし仮にこのみえみゆLv.62が愛くるしいならばこのみえみゆLv.62は押し迫る fact3: そのまにゅまよLv.57は押し迫る fact4: もしもそのまにゅまよLv.57が見極め難いとすれば押し迫る fact5: そのまにゅまよLv.57は訛る fact6: 仮にそのまにゅまよLv.57が訛ればこのみえみゆLv.62は拙い
fact6 & fact5 -> int1: このみえみゆLv.62は拙い; int1 & fact1 -> int2: このみえみゆLv.62は愛くるしい; int2 & fact2 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このみえみゆLv.62が拙いとしたらこのみえみゆLv.62は愛くるしい fact2: もし仮にこのみえみゆLv.62が愛くるしいならばこのみえみゆLv.62は押し迫る fact3: そのまにゅまよLv.57は押し迫る fact4: もしもそのまにゅまよLv.57が見極め難いとすれば押し迫る fact5: そのまにゅまよLv.57は訛る fact6: 仮にそのまにゅまよLv.57が訛ればこのみえみゆLv.62は拙い ; $hypothesis$ = このみえみゆLv.62は押し迫らない ; $proof$ = 
fact6 & fact5 -> int1: このみえみゆLv.62は拙い; int1 & fact1 -> int2: このみえみゆLv.62は愛くるしい; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__