まなまちょLv.64事件が発生する
fact1: 「まなまちょLv.64事件は発生しない」ということは「ぷゆぷゆLv.60事件が起こる一方でぴにゃぴちょLv.49事件は起こらない」ということに阻まれる fact2: みちょみやLv.96事件が起きる fact3: 「ぷゆぷゆLv.60事件が起こる」ということは「ぷゆぷゆLv.60事件が生じる一方でぴにゃぴちょLv.49事件は生じない」ということを生じさせる fact4: ぷゆぷゆLv.60事件とみのみよLv.77事件が発生する fact5: まなまねLv.95事件が起きる fact6: 侵入し易いということと騒々しいということが生じる fact7: みのみよLv.77事件が起きる fact8: ぽいぽのLv.42事件が生じるけれど注意深いということは起こらない
fact4 -> int1: ぷゆぷゆLv.60事件が起きる; int1 & fact3 -> int2: ぷゆぷゆLv.60事件が起きるけどぴにゃぴちょLv.49事件は生じない; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & ¬{D}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「まなまちょLv.64事件は発生しない」ということは「ぷゆぷゆLv.60事件が起こる一方でぴにゃぴちょLv.49事件は起こらない」ということに阻まれる fact2: みちょみやLv.96事件が起きる fact3: 「ぷゆぷゆLv.60事件が起こる」ということは「ぷゆぷゆLv.60事件が生じる一方でぴにゃぴちょLv.49事件は生じない」ということを生じさせる fact4: ぷゆぷゆLv.60事件とみのみよLv.77事件が発生する fact5: まなまねLv.95事件が起きる fact6: 侵入し易いということと騒々しいということが生じる fact7: みのみよLv.77事件が起きる fact8: ぽいぽのLv.42事件が生じるけれど注意深いということは起こらない ; $hypothesis$ = まなまちょLv.64事件が発生する ; $proof$ = 
fact4 -> int1: ぷゆぷゆLv.60事件が起きる; int1 & fact3 -> int2: ぷゆぷゆLv.60事件が起きるけどぴにゃぴちょLv.49事件は生じない; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: ({A} & ¬{D}); int2 & fact1 -> hypothesis; __PROVED__