そのぷにぷにLv.55は思慮深いということはない
fact1: 仮にそのぷにぷにLv.55が黄色くておまけに打ち易いとするとそのぷにぷにLv.55は思慮深くない fact2: 「「このぷよぷわLv.63は御聞き下さるし更に出来易い」ということは正しくない」ということは成り立つ fact3: そのぷにぷにLv.55は成り難い fact4: すべてのモンスターは成り難い fact5: そのぷにぷにLv.55は黄色い fact6: 黄色くないモンスターは打ち易いか成り難い fact7: あらゆるモンスターは打ち易いしそれに成り難い
fact7 -> int1: そのぷにぷにLv.55は打ち易いしそれは成り難い; int1 -> int2: 「そのぷにぷにLv.55は打ち易い」ということは成り立つ; int2 & fact5 -> int3: そのぷにぷにLv.55は黄色いしその上打ち易い; int3 & fact1 -> hypothesis;
fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: ({C}{a} & {A}{a}); int3 & fact1 -> hypothesis;
そのぷにぷにLv.55は思慮深い
fact8 -> int4: もしそのぷにぷにLv.55が黄色くないとするとそのぷにぷにLv.55は打ち易いかもしくは成り難いかまたは両方ともだ; fact9 -> int5: 「「御聞き下さるしおまけに出来易い」ということは事実と異なる」モンスターはいる;
$facts$ = fact1: 仮にそのぷにぷにLv.55が黄色くておまけに打ち易いとするとそのぷにぷにLv.55は思慮深くない fact2: 「「このぷよぷわLv.63は御聞き下さるし更に出来易い」ということは正しくない」ということは成り立つ fact3: そのぷにぷにLv.55は成り難い fact4: すべてのモンスターは成り難い fact5: そのぷにぷにLv.55は黄色い fact6: 黄色くないモンスターは打ち易いか成り難い fact7: あらゆるモンスターは打ち易いしそれに成り難い ; $hypothesis$ = そのぷにぷにLv.55は思慮深いということはない ; $proof$ = 
fact7 -> int1: そのぷにぷにLv.55は打ち易いしそれは成り難い; int1 -> int2: 「そのぷにぷにLv.55は打ち易い」ということは成り立つ; int2 & fact5 -> int3: そのぷにぷにLv.55は黄色いしその上打ち易い; int3 & fact1 -> hypothesis; __PROVED__
fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact5 -> int3: ({C}{a} & {A}{a}); int3 & fact1 -> hypothesis; __PROVED__