「このまにょまちょLv.16は色っぽい」ということは成り立つ
fact1: 仮にこのみのみえLv.50は取り難いならば「あのみねみちゃLv.47は厚くないかあるいはそれは好もしいか両方である」ということは成り立たない fact2: 「あのみねみちゃLv.47は厚くないか好もしいかまたは両方ともだ」ということは間違いならそのぽなぽなLv.81は好もしくない fact3: 仮にこのまにょまちょLv.16は引き出し易いとしたら「好もしい」ということは成り立つ fact4: もし仮にこのまにょまちょLv.16が程無いとすると引き出し易い fact5: もし仮にあるモンスターは好もしくないなら「程無くない一方で引き出し易い」ということは誤っている fact6: 壊れ易いモンスターは取り難い fact7: このまにょまちょLv.16は程無い fact8: もし「そのぽなぽなLv.81は程無くないけれど引き出し易い」ということは事実と異なるならこのまにょまちょLv.16は色っぽくない fact9: 仮にこのまにょまちょLv.16が好もしいならこのまにょまちょLv.16は色っぽい
fact4 & fact7 -> int1: このまにょまちょLv.16は引き出し易い; int1 & fact3 -> int2: このまにょまちょLv.16は好もしい; int2 & fact9 -> hypothesis;
fact4 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact9 -> hypothesis;
このまにょまちょLv.16は色っぽくない
fact14 -> int3: 仮にそのぽなぽなLv.81は好もしくないとすると「そのぽなぽなLv.81は程無くない一方で引き出し易い」ということは確かでない; fact13 -> int4: もしもこのみのみえLv.50が壊れ易いならばこのみのみえLv.50は取り難い;
$facts$ = fact1: 仮にこのみのみえLv.50は取り難いならば「あのみねみちゃLv.47は厚くないかあるいはそれは好もしいか両方である」ということは成り立たない fact2: 「あのみねみちゃLv.47は厚くないか好もしいかまたは両方ともだ」ということは間違いならそのぽなぽなLv.81は好もしくない fact3: 仮にこのまにょまちょLv.16は引き出し易いとしたら「好もしい」ということは成り立つ fact4: もし仮にこのまにょまちょLv.16が程無いとすると引き出し易い fact5: もし仮にあるモンスターは好もしくないなら「程無くない一方で引き出し易い」ということは誤っている fact6: 壊れ易いモンスターは取り難い fact7: このまにょまちょLv.16は程無い fact8: もし「そのぽなぽなLv.81は程無くないけれど引き出し易い」ということは事実と異なるならこのまにょまちょLv.16は色っぽくない fact9: 仮にこのまにょまちょLv.16が好もしいならこのまにょまちょLv.16は色っぽい ; $hypothesis$ = 「このまにょまちょLv.16は色っぽい」ということは成り立つ ; $proof$ = 
fact4 & fact7 -> int1: このまにょまちょLv.16は引き出し易い; int1 & fact3 -> int2: このまにょまちょLv.16は好もしい; int2 & fact9 -> hypothesis; __PROVED__
fact4 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact9 -> hypothesis; __PROVED__