ぷなぷゆLv.52事件は発生するしみねみにゅLv.95事件は生じない
fact1: まねまねLv.26事件が生じる一方でぴにゃぴちゅLv.46事件は生じない fact2: もし涼しいということが発生するとするとぷなぷゆLv.52事件は発生するけれどみねみにゅLv.95事件は発生しない fact3: ぷなぷちゃLv.62事件が生じる fact4: 「みねみやLv.12事件が起きる」ということは成り立つとすると来易いということが起こるしぷいぷえLv.79事件は発生しない fact5: 涼しいということは起きないということはまねまねLv.26事件が発生するということに阻まれる fact6: ぷなぷゆLv.52事件が生じる fact7: 涼しいということが起きるということはぷなぷゆLv.52事件に帰結する
fact1 -> int1: まねまねLv.26事件が生じる; int1 & fact5 -> int2: 「涼しいということが発生する」ということは成り立つ; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: まねまねLv.26事件が生じる一方でぴにゃぴちゅLv.46事件は生じない fact2: もし涼しいということが発生するとするとぷなぷゆLv.52事件は発生するけれどみねみにゅLv.95事件は発生しない fact3: ぷなぷちゃLv.62事件が生じる fact4: 「みねみやLv.12事件が起きる」ということは成り立つとすると来易いということが起こるしぷいぷえLv.79事件は発生しない fact5: 涼しいということは起きないということはまねまねLv.26事件が発生するということに阻まれる fact6: ぷなぷゆLv.52事件が生じる fact7: 涼しいということが起きるということはぷなぷゆLv.52事件に帰結する ; $hypothesis$ = ぷなぷゆLv.52事件は発生するしみねみにゅLv.95事件は生じない ; $proof$ = 
fact1 -> int1: まねまねLv.26事件が生じる; int1 & fact5 -> int2: 「涼しいということが発生する」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__