そのぴちょぴなLv.58は頼めるしそれは冷やかす
fact1: とあるモンスターはせこいということはないとしたら「それが頼めるしその上冷やかす」ということは事実と異なる fact2: 何らかのモンスターが消し去るならそれは麗しい fact3: もしもこのぴちょぴにゅLv.70が抜き難いとするとそのぷよぷねLv.12は美々しい fact4: もしそのぷよぷねLv.12が美々しいならそのぴちょぴなLv.58は感染し易い fact5: 感染し易いモンスターは美々しくないが抜き難い fact6: もしそのぴちょぴなLv.58が感染し易いならば頼める fact7: そのぴちょぴなLv.58は冷やかす fact8: このぴちょぴにゅLv.70はせこい fact9: もし仮にこのぴちょぴにゅLv.70がせこいならばそれは抜き難い
fact9 & fact8 -> int1: 「このぴちょぴにゅLv.70は抜き難い」ということは確かである; int1 & fact3 -> int2: そのぷよぷねLv.12は美々しい; int2 & fact4 -> int3: そのぴちょぴなLv.58は感染し易い; int3 & fact6 -> int4: そのぴちょぴなLv.58は頼める; int4 & fact7 -> hypothesis;
fact9 & fact8 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 & fact6 -> int4: {E}{c}; int4 & fact7 -> hypothesis;
「そのぴちょぴなLv.58は頼めるしかつ冷やかす」ということは誤りである
fact11 -> int5: もし仮にこのぴちょぴにゅLv.70はせこくないなら「このぴちょぴにゅLv.70は頼めるし冷やかす」ということは誤っている; fact10 -> int6: 仮にこのぴちょぴにゅLv.70が感染し易いとすればこのぴちょぴにゅLv.70は美々しくない一方で抜き難い;
$facts$ = fact1: とあるモンスターはせこいということはないとしたら「それが頼めるしその上冷やかす」ということは事実と異なる fact2: 何らかのモンスターが消し去るならそれは麗しい fact3: もしもこのぴちょぴにゅLv.70が抜き難いとするとそのぷよぷねLv.12は美々しい fact4: もしそのぷよぷねLv.12が美々しいならそのぴちょぴなLv.58は感染し易い fact5: 感染し易いモンスターは美々しくないが抜き難い fact6: もしそのぴちょぴなLv.58が感染し易いならば頼める fact7: そのぴちょぴなLv.58は冷やかす fact8: このぴちょぴにゅLv.70はせこい fact9: もし仮にこのぴちょぴにゅLv.70がせこいならばそれは抜き難い ; $hypothesis$ = そのぴちょぴなLv.58は頼めるしそれは冷やかす ; $proof$ = 
fact9 & fact8 -> int1: 「このぴちょぴにゅLv.70は抜き難い」ということは確かである; int1 & fact3 -> int2: そのぷよぷねLv.12は美々しい; int2 & fact4 -> int3: そのぴちょぴなLv.58は感染し易い; int3 & fact6 -> int4: そのぴちょぴなLv.58は頼める; int4 & fact7 -> hypothesis; __PROVED__
fact9 & fact8 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 & fact6 -> int4: {E}{c}; int4 & fact7 -> hypothesis; __PROVED__