あのみちゅみねLv.32は攻略出来るし更に内在化する
fact1: あのみちゅみねLv.32は内在化する fact2: 「全てのモンスターは御優しくないがしかし御許し頂ける」ということは事実である fact3: もし何らかのモンスターは攻略出来ないかもしくは落ち難くないかもしくはどちらもならば攻略出来ない fact4: あのみちゃみのLv.54は落ち難い fact5: 仮にそのぷちょぷにゅLv.35が御許し頂けないとすればそのぷちょぷにゅLv.35は落ち難くないがそれは御優しい fact6: あのみちゅみねLv.32は落ち難くてさらに攻略出来る fact7: あのみちゅみねLv.32は落ち難い
fact6 -> int1: あのみちゅみねLv.32は攻略出来る; int1 & fact1 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
そのぽねぽよLv.78は落ち難い
fact8 -> int2: あのみちゅみねLv.32は御優しくないがしかし御許し頂ける; int2 -> int3: あのみちゅみねLv.32は御優しくない;
$facts$ = fact1: あのみちゅみねLv.32は内在化する fact2: 「全てのモンスターは御優しくないがしかし御許し頂ける」ということは事実である fact3: もし何らかのモンスターは攻略出来ないかもしくは落ち難くないかもしくはどちらもならば攻略出来ない fact4: あのみちゃみのLv.54は落ち難い fact5: 仮にそのぷちょぷにゅLv.35が御許し頂けないとすればそのぷちょぷにゅLv.35は落ち難くないがそれは御優しい fact6: あのみちゅみねLv.32は落ち難くてさらに攻略出来る fact7: あのみちゅみねLv.32は落ち難い ; $hypothesis$ = あのみちゅみねLv.32は攻略出来るし更に内在化する ; $proof$ = 
fact6 -> int1: あのみちゅみねLv.32は攻略出来る; int1 & fact1 -> hypothesis; __PROVED__
fact6 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__