このもやもやLv.10は見取るし更に地中深い
fact1: そのまやまねLv.28が転換出来るならこのもやもやLv.10は見取る fact2: 全てのモンスターは説明し難い fact3: このもやもやLv.10は転換出来る fact4: もしもそのまやまねLv.28が地中深いとするとこのもやもやLv.10は説明し難い fact5: 仮にそのまやまねLv.28は説明し難くないとしたら「このもやもやLv.10は見取るし加えて地中深い」ということは嘘だ fact6: あらゆるモンスターは説明し難いしさらにそれは転換出来る fact7: このもやもやLv.10は地中深い
fact6 -> int1: そのまやまねLv.28は説明し難いしさらに転換出来る; int1 -> int2: 「そのまやまねLv.28は転換出来る」ということは成り立つ; int2 & fact1 -> int3: このもやもやLv.10は見取る; int3 & fact7 -> hypothesis;
fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact7 -> hypothesis;
「このもやもやLv.10は見取るしまた地中深い」ということは成り立たない
$facts$ = fact1: そのまやまねLv.28が転換出来るならこのもやもやLv.10は見取る fact2: 全てのモンスターは説明し難い fact3: このもやもやLv.10は転換出来る fact4: もしもそのまやまねLv.28が地中深いとするとこのもやもやLv.10は説明し難い fact5: 仮にそのまやまねLv.28は説明し難くないとしたら「このもやもやLv.10は見取るし加えて地中深い」ということは嘘だ fact6: あらゆるモンスターは説明し難いしさらにそれは転換出来る fact7: このもやもやLv.10は地中深い ; $hypothesis$ = このもやもやLv.10は見取るし更に地中深い ; $proof$ = 
fact6 -> int1: そのまやまねLv.28は説明し難いしさらに転換出来る; int1 -> int2: 「そのまやまねLv.28は転換出来る」ということは成り立つ; int2 & fact1 -> int3: このもやもやLv.10は見取る; int3 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact7 -> hypothesis; __PROVED__