あのみにゅみちゅLv.36は利用し得ない
fact1: あのみよみにゃLv.2は押し易くない fact2: もし仮にあのみにゅみちゅLv.36が強しとすればあのみにゅみちゅLv.36は押し易い fact3: あのみにゅみちゅLv.36は強し fact4: あのみにゅみちゅLv.36が押し易いならあのみにゅみちゅLv.36は腐心するということはないけれど押し易い fact5: もしあのみにゅみちゅLv.36が腐心しないがそれが押し易いとするとあのみにゅみちゅLv.36は利用し得ない fact6: もし仮にあのみにゅみちゅLv.36が腐心するとしたらあのものもなLv.58は強しないし押し易くない
fact2 & fact3 -> int1: あのみにゅみちゅLv.36は押し易い; int1 & fact4 -> int2: あのみにゅみちゅLv.36は腐心しないがしかし押し易い; int2 & fact5 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: (¬{C}{a} & {B}{a}); int2 & fact5 -> hypothesis;
あのものもなLv.58は強しない
$facts$ = fact1: あのみよみにゃLv.2は押し易くない fact2: もし仮にあのみにゅみちゅLv.36が強しとすればあのみにゅみちゅLv.36は押し易い fact3: あのみにゅみちゅLv.36は強し fact4: あのみにゅみちゅLv.36が押し易いならあのみにゅみちゅLv.36は腐心するということはないけれど押し易い fact5: もしあのみにゅみちゅLv.36が腐心しないがそれが押し易いとするとあのみにゅみちゅLv.36は利用し得ない fact6: もし仮にあのみにゅみちゅLv.36が腐心するとしたらあのものもなLv.58は強しないし押し易くない ; $hypothesis$ = あのみにゅみちゅLv.36は利用し得ない ; $proof$ = 
fact2 & fact3 -> int1: あのみにゅみちゅLv.36は押し易い; int1 & fact4 -> int2: あのみにゅみちゅLv.36は腐心しないがしかし押し易い; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: (¬{C}{a} & {B}{a}); int2 & fact5 -> hypothesis; __PROVED__