このもねもやLv.68は切り崩す
fact1: あのぴにゅぴちゃLv.54が完熟すればあのぴにゅぴちゃLv.54はおっそろし fact2: 仮にあのぴにゅぴちゃLv.54がおっそろしとすればこのもねもやLv.68は切り崩す fact3: もしも「そのみよみねLv.64は完熟しない一方で蹌踉ける」ということは成り立たないとしたらこのもねもやLv.68は切り崩さない fact4: そのみよみねLv.64は蹌踉ける fact5: 「あるモンスターは切り崩すけれど蹌踉けるない」ということは成り立たないならばそれは切り崩さない fact6: もし仮にそのみよみねLv.64が蹌踉けるとすればあのぴにゅぴちゃLv.54は完熟する fact7: このもねもやLv.68は完熟する fact8: もし仮にとあるモンスターはおっそろしないとしたら「完熟しなくてさらにそれは蹌踉ける」ということは成り立たない fact9: もし仮に似付かわしいということはないモンスターが新しいとすればそれはおっそろしない
fact6 & fact4 -> int1: あのぴにゅぴちゃLv.54は完熟する; int1 & fact1 -> int2: あのぴにゅぴちゃLv.54はおっそろし; int2 & fact2 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
このもねもやLv.68は切り崩さない
fact10 -> int3: もし仮に「このもねもやLv.68は切り崩すけどそれは蹌踉けるない」ということは成り立たないならこのもねもやLv.68は切り崩さない;
$facts$ = fact1: あのぴにゅぴちゃLv.54が完熟すればあのぴにゅぴちゃLv.54はおっそろし fact2: 仮にあのぴにゅぴちゃLv.54がおっそろしとすればこのもねもやLv.68は切り崩す fact3: もしも「そのみよみねLv.64は完熟しない一方で蹌踉ける」ということは成り立たないとしたらこのもねもやLv.68は切り崩さない fact4: そのみよみねLv.64は蹌踉ける fact5: 「あるモンスターは切り崩すけれど蹌踉けるない」ということは成り立たないならばそれは切り崩さない fact6: もし仮にそのみよみねLv.64が蹌踉けるとすればあのぴにゅぴちゃLv.54は完熟する fact7: このもねもやLv.68は完熟する fact8: もし仮にとあるモンスターはおっそろしないとしたら「完熟しなくてさらにそれは蹌踉ける」ということは成り立たない fact9: もし仮に似付かわしいということはないモンスターが新しいとすればそれはおっそろしない ; $hypothesis$ = このもねもやLv.68は切り崩す ; $proof$ = 
fact6 & fact4 -> int1: あのぴにゅぴちゃLv.54は完熟する; int1 & fact1 -> int2: あのぴにゅぴちゃLv.54はおっそろし; int2 & fact2 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__