ぴにゅぴにょLv.92事件は起こらない
fact1: もしみわみやLv.94事件とぴよぴにゃLv.8事件が起きれば「ぴにゅぴにょLv.92事件は発生しない」ということは真実だ fact2: ぴよぴにゃLv.8事件が起きる fact3: ぴにゅぴにょLv.92事件かまたはぴにょぴにゅLv.45事件か両方ともは後らしいということは起きないということにより生じる fact4: 調べ易いということが生じる fact5: もしも調べ易いということは発生しない一方でみわみやLv.94事件が生じるとすれば罹患し易いということは起きない fact6: みわみやLv.94事件が調べ易いということは原因である fact7: 仮にもよもやLv.43事件が発生するとすれば後らしいということは発生しないしおまけに可愛らしいということは生じない
fact6 & fact4 -> int1: みわみやLv.94事件が起こる; int1 & fact2 -> int2: みわみやLv.94事件およびぴよぴにゃLv.8事件が発生する; int2 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
罹患し易いということは発生しない
$facts$ = fact1: もしみわみやLv.94事件とぴよぴにゃLv.8事件が起きれば「ぴにゅぴにょLv.92事件は発生しない」ということは真実だ fact2: ぴよぴにゃLv.8事件が起きる fact3: ぴにゅぴにょLv.92事件かまたはぴにょぴにゅLv.45事件か両方ともは後らしいということは起きないということにより生じる fact4: 調べ易いということが生じる fact5: もしも調べ易いということは発生しない一方でみわみやLv.94事件が生じるとすれば罹患し易いということは起きない fact6: みわみやLv.94事件が調べ易いということは原因である fact7: 仮にもよもやLv.43事件が発生するとすれば後らしいということは発生しないしおまけに可愛らしいということは生じない ; $hypothesis$ = ぴにゅぴにょLv.92事件は起こらない ; $proof$ = 
fact6 & fact4 -> int1: みわみやLv.94事件が起こる; int1 & fact2 -> int2: みわみやLv.94事件およびぴよぴにゃLv.8事件が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__