このぽなぽよLv.98は動揺し易い
fact1: このぽなぽよLv.98は衰え始める fact2: このぽなぽよLv.98は衰え始めるし冷め難い fact3: 仮にこのぽなぽよLv.98が役らしいならばこのぽなぽよLv.98は動揺し易い fact4: もし仮にこのぽなぽよLv.98が冷め難いとすればそれは役らしい
fact2 -> int1: このぽなぽよLv.98は冷め難い; int1 & fact4 -> int2: このぽなぽよLv.98は役らしい; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぽなぽよLv.98は衰え始める fact2: このぽなぽよLv.98は衰え始めるし冷め難い fact3: 仮にこのぽなぽよLv.98が役らしいならばこのぽなぽよLv.98は動揺し易い fact4: もし仮にこのぽなぽよLv.98が冷め難いとすればそれは役らしい ; $hypothesis$ = このぽなぽよLv.98は動揺し易い ; $proof$ = 
fact2 -> int1: このぽなぽよLv.98は冷め難い; int1 & fact4 -> int2: このぽなぽよLv.98は役らしい; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__