このもくものLv.3は若者らしい
fact1: このもくものLv.3が切り開けるなら若者らしい fact2: 「柔いししかも浅まし」モンスターはいる fact3: もしも柔いモンスターが浅ましとすればこのもくものLv.3は切り開ける
fact2 & fact3 -> int1: このもくものLv.3は切り開ける; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {C}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このもくものLv.3が切り開けるなら若者らしい fact2: 「柔いししかも浅まし」モンスターはいる fact3: もしも柔いモンスターが浅ましとすればこのもくものLv.3は切り開ける ; $hypothesis$ = このもくものLv.3は若者らしい ; $proof$ = 
fact2 & fact3 -> int1: このもくものLv.3は切り開ける; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {C}{a}; int1 & fact1 -> hypothesis; __PROVED__