あのみちゃみにゃLv.94は走り書きする
fact1: とあるモンスターは益無し fact2: そのみやみちょLv.47は益無し fact3: とあるモンスターは面目無い fact4: そのみやみちょLv.47は面目無い fact5: もし仮に益無しモンスターが面目無いとするとあのみちゃみにゃLv.94は走り書きする
fact2 & fact4 -> int1: そのみやみちょLv.47は益無しししかもそれは面目無い; int1 -> int2: 益無しし加えて面目無いモンスターはいる; int2 & fact5 -> hypothesis;
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> hypothesis;
$facts$ = fact1: とあるモンスターは益無し fact2: そのみやみちょLv.47は益無し fact3: とあるモンスターは面目無い fact4: そのみやみちょLv.47は面目無い fact5: もし仮に益無しモンスターが面目無いとするとあのみちゃみにゃLv.94は走り書きする ; $hypothesis$ = あのみちゃみにゃLv.94は走り書きする ; $proof$ = 
fact2 & fact4 -> int1: そのみやみちょLv.47は益無しししかもそれは面目無い; int1 -> int2: 益無しし加えて面目無いモンスターはいる; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> hypothesis; __PROVED__