根強いということは起きない
fact1: 男らしいということが発生する fact2: もしぽにゅぽねLv.43事件が起きるし男らしいということが起こるとすれば根強いということは発生しない fact3: 目敏いということおよびぽにゅぽねLv.43事件どちらもが起きる
fact3 -> int1: ぽにゅぽねLv.43事件が起こる; int1 & fact1 -> int2: ぽにゅぽねLv.43事件および男らしいということが生じる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 男らしいということが発生する fact2: もしぽにゅぽねLv.43事件が起きるし男らしいということが起こるとすれば根強いということは発生しない fact3: 目敏いということおよびぽにゅぽねLv.43事件どちらもが起きる ; $hypothesis$ = 根強いということは起きない ; $proof$ = 
fact3 -> int1: ぽにゅぽねLv.43事件が起こる; int1 & fact1 -> int2: ぽにゅぽねLv.43事件および男らしいということが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__