ぷのぷにLv.50事件が起きる
fact1: まにゅまなLv.0事件が起こる fact2: まねまにゃLv.60事件が起きる fact3: 「まねまにゃLv.60事件が発生するしまにゅまなLv.0事件が起こるとするとぷのぷにLv.50事件は起こらない」ということは正しい fact4: もしも「ぴのぴなLv.8事件が起こるし浅ましということが発生する」ということは成り立つなら信じ難いということは生じない fact5: 乏しいということが生じる fact6: 退色し易いということは生じない fact7: 判別し易いということが生じる fact8: もしも面映ゆいということは生じないとするとまねまにゃLv.60事件かまたはまにゅまなLv.0事件が発生する
fact2 & fact1 -> int1: まねまにゃLv.60事件が起きるしまにゅまなLv.0事件が起きる; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis;
ぷのぷにLv.50事件が起きる
$facts$ = fact1: まにゅまなLv.0事件が起こる fact2: まねまにゃLv.60事件が起きる fact3: 「まねまにゃLv.60事件が発生するしまにゅまなLv.0事件が起こるとするとぷのぷにLv.50事件は起こらない」ということは正しい fact4: もしも「ぴのぴなLv.8事件が起こるし浅ましということが発生する」ということは成り立つなら信じ難いということは生じない fact5: 乏しいということが生じる fact6: 退色し易いということは生じない fact7: 判別し易いということが生じる fact8: もしも面映ゆいということは生じないとするとまねまにゃLv.60事件かまたはまにゅまなLv.0事件が発生する ; $hypothesis$ = ぷのぷにLv.50事件が起きる ; $proof$ = 
fact2 & fact1 -> int1: まねまにゃLv.60事件が起きるしまにゅまなLv.0事件が起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact3 -> hypothesis; __DISPROVED__