このみくみちゅLv.77は当たり散らす
fact1: そのみゆみなLv.59は通り難い fact2: 「通り難いかもしくは何気無いか両方な」モンスターがいればこのみくみちゅLv.77は当たり散らす fact3: 「なにがしかのモンスターは何気無いししかも通り難い」ということは成り立つということはないとすれば当たり散らさない fact4: 「そのみゆみなLv.59は当たり散らすし加えてそれは管理し易い」ということは正しくないとするとこのみくみちゅLv.77は何気無くない
fact1 -> int1: そのみゆみなLv.59は通り難いかまたは何気無いかあるいは両方である; int1 -> int2: 「通り難いか何気無いかまたは両方な」モンスターはいる; int2 & fact2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis;
このみくみちゅLv.77は発泡する
$facts$ = fact1: そのみゆみなLv.59は通り難い fact2: 「通り難いかもしくは何気無いか両方な」モンスターがいればこのみくみちゅLv.77は当たり散らす fact3: 「なにがしかのモンスターは何気無いししかも通り難い」ということは成り立つということはないとすれば当たり散らさない fact4: 「そのみゆみなLv.59は当たり散らすし加えてそれは管理し易い」ということは正しくないとするとこのみくみちゅLv.77は何気無くない ; $hypothesis$ = このみくみちゅLv.77は当たり散らす ; $proof$ = 
fact1 -> int1: そのみゆみなLv.59は通り難いかまたは何気無いかあるいは両方である; int1 -> int2: 「通り難いか何気無いかまたは両方な」モンスターはいる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis; __PROVED__