そのまちゅまやLv.79は食い慣れる
fact1: もし仮にこのまにゅまえLv.32は矯正するなら「そのまちゅまやLv.79は妬ましい」ということは本当である fact2: 「このまにゅまえLv.32は倹しいしさらに矯正する」ということは真実だ fact3: 仮にそのまちゅまやLv.79が妬ましいならそのまちゅまやLv.79は食い慣れる
fact2 -> int1: このまにゅまえLv.32は矯正する; int1 & fact1 -> int2: そのまちゅまやLv.79は妬ましい; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にこのまにゅまえLv.32は矯正するなら「そのまちゅまやLv.79は妬ましい」ということは本当である fact2: 「このまにゅまえLv.32は倹しいしさらに矯正する」ということは真実だ fact3: 仮にそのまちゅまやLv.79が妬ましいならそのまちゅまやLv.79は食い慣れる ; $hypothesis$ = そのまちゅまやLv.79は食い慣れる ; $proof$ = 
fact2 -> int1: このまにゅまえLv.32は矯正する; int1 & fact1 -> int2: そのまちゅまやLv.79は妬ましい; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__