女々しいということは起こらない
fact1: 心無いということが起きる fact2: もし仮に無声化し易いということは生じないとすれば女々しいということおよび掻き易いということどちらもが生じる fact3: 「無声化し易いということと心無いということが生じる」ということは女々しいということを阻む fact4: みにゅみちょLv.51事件は起きない fact5: ぽにゃぽくLv.16事件および卑しいということが生じる fact6: 「掻き易いということが起きるし更に無声化し易いということが生じる」ということは正しい
fact6 -> int1: 無声化し易いということが生じる; int1 & fact1 -> int2: 無声化し易いということおよび心無いということが起こる; int2 & fact3 -> hypothesis;
fact6 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
女々しいということが起きる
$facts$ = fact1: 心無いということが起きる fact2: もし仮に無声化し易いということは生じないとすれば女々しいということおよび掻き易いということどちらもが生じる fact3: 「無声化し易いということと心無いということが生じる」ということは女々しいということを阻む fact4: みにゅみちょLv.51事件は起きない fact5: ぽにゃぽくLv.16事件および卑しいということが生じる fact6: 「掻き易いということが起きるし更に無声化し易いということが生じる」ということは正しい ; $hypothesis$ = 女々しいということは起こらない ; $proof$ = 
fact6 -> int1: 無声化し易いということが生じる; int1 & fact1 -> int2: 無声化し易いということおよび心無いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__