あのぴちょぴよLv.98は烏滸がましい
fact1: 仮にそのぷにょぷいLv.0が顕在化し易いとしたらそのぷにょぷいLv.0は利き難い fact2: 仮に「あのぴちょぴよLv.98は白し」ということは確かであるとするとあのぴちょぴよLv.98は烏滸がましい fact3: 仮にあるモンスターが万引きすればそれは顕在化し易くないかまたは烏滸がましくないかもしくは両方である fact4: そのぷにょぷいLv.0は万引きするし加えてそれは顕在化し易い fact5: もしそのぷにょぷいLv.0が白しならあのぴちょぴよLv.98は顕在化し易い fact6: 仮にあのぴちょぴよLv.98が親しみ易いとするとあのぴちょぴよLv.98は白し fact7: そのぷにょぷいLv.0が利き難いならばあのぴちょぴよLv.98は親しみ易い
fact4 -> int1: そのぷにょぷいLv.0は顕在化し易い; int1 & fact1 -> int2: そのぷにょぷいLv.0は利き難い; int2 & fact7 -> int3: あのぴちょぴよLv.98は親しみ易い; int3 & fact6 -> int4: あのぴちょぴよLv.98は白し; int4 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{b}; int4 & fact2 -> hypothesis;
あのぴちょぴよLv.98は烏滸がましくない
fact8 -> int5: もしもそのぷにょぷいLv.0は万引きするなら「顕在化し易くないかまたは烏滸がましくないかあるいはどちらもである」ということは正しい;
$facts$ = fact1: 仮にそのぷにょぷいLv.0が顕在化し易いとしたらそのぷにょぷいLv.0は利き難い fact2: 仮に「あのぴちょぴよLv.98は白し」ということは確かであるとするとあのぴちょぴよLv.98は烏滸がましい fact3: 仮にあるモンスターが万引きすればそれは顕在化し易くないかまたは烏滸がましくないかもしくは両方である fact4: そのぷにょぷいLv.0は万引きするし加えてそれは顕在化し易い fact5: もしそのぷにょぷいLv.0が白しならあのぴちょぴよLv.98は顕在化し易い fact6: 仮にあのぴちょぴよLv.98が親しみ易いとするとあのぴちょぴよLv.98は白し fact7: そのぷにょぷいLv.0が利き難いならばあのぴちょぴよLv.98は親しみ易い ; $hypothesis$ = あのぴちょぴよLv.98は烏滸がましい ; $proof$ = 
fact4 -> int1: そのぷにょぷいLv.0は顕在化し易い; int1 & fact1 -> int2: そのぷにょぷいLv.0は利き難い; int2 & fact7 -> int3: あのぴちょぴよLv.98は親しみ易い; int3 & fact6 -> int4: あのぴちょぴよLv.98は白し; int4 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact7 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{b}; int4 & fact2 -> hypothesis; __PROVED__