出入りし易いということは発生しない
fact1: もしぴえぴねLv.89事件ではなくもにゃもなLv.43事件が発生すれば出入りし易いということが起こる fact2: 計り取ることが起きる fact3: ぴえぴねLv.89事件は起こらない fact4: ぴえぴねLv.89事件は用い易いということは発生しないということを防ぐ fact5: もにゃもなLv.43事件が発生する fact6: ぽにゃぽよLv.5事件は発生しない
fact3 & fact5 -> int1: ぴえぴねLv.89事件は発生しないがしかしもにゃもなLv.43事件が生じる; int1 & fact1 -> hypothesis;
fact3 & fact5 -> int1: (¬{A} & {B}); int1 & fact1 -> hypothesis;
用い易いということが起こる
$facts$ = fact1: もしぴえぴねLv.89事件ではなくもにゃもなLv.43事件が発生すれば出入りし易いということが起こる fact2: 計り取ることが起きる fact3: ぴえぴねLv.89事件は起こらない fact4: ぴえぴねLv.89事件は用い易いということは発生しないということを防ぐ fact5: もにゃもなLv.43事件が発生する fact6: ぽにゃぽよLv.5事件は発生しない ; $hypothesis$ = 出入りし易いということは発生しない ; $proof$ = 
fact3 & fact5 -> int1: ぴえぴねLv.89事件は発生しないがしかしもにゃもなLv.43事件が生じる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: (¬{A} & {B}); int1 & fact1 -> hypothesis; __DISPROVED__