ぴねぴのLv.68事件が起きる
fact1: 「可愛らしいということが起こるし加えて苦々しいということが起こる」ということはぴねぴのLv.68事件を阻止する fact2: 可愛らしいということが起きる fact3: 苦々しいということが起こる
fact2 & fact3 -> int1: 可愛らしいということが起こるし苦々しいということが起きる; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「可愛らしいということが起こるし加えて苦々しいということが起こる」ということはぴねぴのLv.68事件を阻止する fact2: 可愛らしいということが起きる fact3: 苦々しいということが起こる ; $hypothesis$ = ぴねぴのLv.68事件が起きる ; $proof$ = 
fact2 & fact3 -> int1: 可愛らしいということが起こるし苦々しいということが起きる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> hypothesis; __DISPROVED__