「そのぴにゅぴちゃLv.89はくねくねしないか馬鹿馬鹿しくないかあるいはどちらもだ」ということは真実でない
fact1: 仮に何らかのモンスターは繋がり易いなら「そのぴにゅぴちゃLv.89はくねくねしないかもしくは馬鹿馬鹿しくない」ということは誤りである fact2: もしも何らかのモンスターが踏襲するということはないなら生じ難いが繋がり易いということはない fact3: もしも「繋がり易い」モンスターがいるならそのぴにゅぴちゃLv.89は馬鹿馬鹿しい fact4: そのぴにゅぴちゃLv.89は馬鹿馬鹿しい fact5: 「繋がり易い」モンスターはいる fact6: もしなんらかのモンスターが繋がり易くないとしたらそれはくねくねしないかまたは馬鹿馬鹿しくないかまたはどちらもである fact7: もしそのもにゅもよLv.60が生じ難いけど繋がり易くないならばそのぴにゅぴちゃLv.89は繋がり易くない
fact5 -> int1: 「繋がり易い」モンスターはいる; int1 & fact1 -> hypothesis;
fact5 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
そのぴにゅぴちゃLv.89はくねくねしないかまたは馬鹿馬鹿しいということはない
fact10 -> int2: 仮にそのぴにゅぴちゃLv.89が繋がり易くないとするとそれはくねくねしないかまたは馬鹿馬鹿しいということはないか両方ともである; fact9 -> int3: もしそのもにゅもよLv.60が踏襲するということはないならそのもにゅもよLv.60は生じ難い一方で繋がり易くない;
$facts$ = fact1: 仮に何らかのモンスターは繋がり易いなら「そのぴにゅぴちゃLv.89はくねくねしないかもしくは馬鹿馬鹿しくない」ということは誤りである fact2: もしも何らかのモンスターが踏襲するということはないなら生じ難いが繋がり易いということはない fact3: もしも「繋がり易い」モンスターがいるならそのぴにゅぴちゃLv.89は馬鹿馬鹿しい fact4: そのぴにゅぴちゃLv.89は馬鹿馬鹿しい fact5: 「繋がり易い」モンスターはいる fact6: もしなんらかのモンスターが繋がり易くないとしたらそれはくねくねしないかまたは馬鹿馬鹿しくないかまたはどちらもである fact7: もしそのもにゅもよLv.60が生じ難いけど繋がり易くないならばそのぴにゅぴちゃLv.89は繋がり易くない ; $hypothesis$ = 「そのぴにゅぴちゃLv.89はくねくねしないか馬鹿馬鹿しくないかあるいはどちらもだ」ということは真実でない ; $proof$ = 
fact5 -> int1: 「繋がり易い」モンスターはいる; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __PROVED__