あのみにょみよLv.13は固しない
fact1: あのみにょみよLv.13は伐採しない fact2: このもよもくLv.12が御伺い致さないならばそれは黄色っぽいかまたは悟り切る fact3: このもよもくLv.12は伐採する fact4: このもよもくLv.12は悟り切るし加えて分かり難い fact5: もしもこのもよもくLv.12は悟り切るしかつ伐採するとしたら「あのみにょみよLv.13は固しない」ということは本当である
fact4 -> int1: このもよもくLv.12は悟り切る; int1 & fact3 -> int2: このもよもくLv.12は悟り切るしその上伐採する; int2 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis;
あのみにょみよLv.13は黄色っぽいしまた分かり難い
$facts$ = fact1: あのみにょみよLv.13は伐採しない fact2: このもよもくLv.12が御伺い致さないならばそれは黄色っぽいかまたは悟り切る fact3: このもよもくLv.12は伐採する fact4: このもよもくLv.12は悟り切るし加えて分かり難い fact5: もしもこのもよもくLv.12は悟り切るしかつ伐採するとしたら「あのみにょみよLv.13は固しない」ということは本当である ; $hypothesis$ = あのみにょみよLv.13は固しない ; $proof$ = 
fact4 -> int1: このもよもくLv.12は悟り切る; int1 & fact3 -> int2: このもよもくLv.12は悟り切るしその上伐採する; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis; __PROVED__