まにょまにゃLv.65事件が起こる
fact1: 軽いということが起きる fact2: 「疾しということが起きる」ということは本当である fact3: 仮に疾しということと軽いということ両方ともが起きるとするとまにょまにゃLv.65事件は起きない
fact2 & fact1 -> int1: 疾しということが起きるしおまけに軽いということが起こる; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
$facts$ = fact1: 軽いということが起きる fact2: 「疾しということが起きる」ということは本当である fact3: 仮に疾しということと軽いということ両方ともが起きるとするとまにょまにゃLv.65事件は起きない ; $hypothesis$ = まにょまにゃLv.65事件が起こる ; $proof$ = 
fact2 & fact1 -> int1: 疾しということが起きるしおまけに軽いということが起こる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __DISPROVED__