そのもわもにゅLv.84は故無い
fact1: もしもあのまゆまわLv.23は円熟するし対応し易いとすれば「そのもわもにゅLv.84は故無くない」ということは確かだ fact2: 仮にあのみなみいLv.77が気恥ずかしいということはないとすると対応し易くて加えて円熟する fact3: もし気恥ずかしくないモンスターが立ち往生しないならそれは対応し易くない fact4: あのまゆまわLv.23は円熟する fact5: もし何らかのモンスターは対応し易くないとすると故無くてまた円熟する fact6: あのまゆまわLv.23は対応し易い
fact4 & fact6 -> int1: あのまゆまわLv.23は円熟するしそれは対応し易い; int1 & fact1 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
あのみなみいLv.77は対応し易いししかもしんどい
$facts$ = fact1: もしもあのまゆまわLv.23は円熟するし対応し易いとすれば「そのもわもにゅLv.84は故無くない」ということは確かだ fact2: 仮にあのみなみいLv.77が気恥ずかしいということはないとすると対応し易くて加えて円熟する fact3: もし気恥ずかしくないモンスターが立ち往生しないならそれは対応し易くない fact4: あのまゆまわLv.23は円熟する fact5: もし何らかのモンスターは対応し易くないとすると故無くてまた円熟する fact6: あのまゆまわLv.23は対応し易い ; $hypothesis$ = そのもわもにゅLv.84は故無い ; $proof$ = 
fact4 & fact6 -> int1: あのまゆまわLv.23は円熟するしそれは対応し易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __DISPROVED__