あのもにゃもにゃLv.24は有り余る
fact1: あのもにゃもにゃLv.24はフランス人らしいしさらに落ち難い fact2: もし仮にあのもにゃもにゃLv.24が落ち難いならそれは有り余る fact3: もし仮に「あのもにゃもにゃLv.24は違い」ということは事実だとすればこのもくものLv.31は有り余るということはないしちょろくない
fact1 -> int1: あのもにゃもにゃLv.24は落ち難い; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「このもくものLv.31はフランス人らしい」ということは確かである
$facts$ = fact1: あのもにゃもにゃLv.24はフランス人らしいしさらに落ち難い fact2: もし仮にあのもにゃもにゃLv.24が落ち難いならそれは有り余る fact3: もし仮に「あのもにゃもにゃLv.24は違い」ということは事実だとすればこのもくものLv.31は有り余るということはないしちょろくない ; $hypothesis$ = あのもにゃもにゃLv.24は有り余る ; $proof$ = 
fact1 -> int1: あのもにゃもにゃLv.24は落ち難い; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__