ぴにゅぴいLv.61事件が起こるし更に口喧しいということが起きる
fact1: 予期することは起こらない fact2: 危うしということとぴにょぴにゅLv.85事件両方ともが生じる fact3: もしもにゃもちょLv.92事件が起こるし予期することは生じないとすれば微笑ましいということが起こる fact4: 口喧しいということが発生する fact5: ぴにゅぴいLv.61事件が微笑ましいということは原因だ fact6: もしも微笑ましいということは発生しないなら「ぴにゅぴいLv.61事件と口喧しいということが発生する」ということは成り立たない fact7: ぽにょぽねLv.41事件が発生する fact8: もにゃもちょLv.92事件が起こる
fact1 & fact8 -> int1: もにゃもちょLv.92事件が起こるけれど予期することは起きない; fact3 & int1 -> int2: 微笑ましいということが発生する; int2 & fact5 -> int3: ぴにゅぴいLv.61事件が起きる; int3 & fact4 -> hypothesis;
fact1 & fact8 -> int1: ({AA} & ¬{AB}); fact3 & int1 -> int2: {B}; int2 & fact5 -> int3: {A}; int3 & fact4 -> hypothesis;
「ぴにゅぴいLv.61事件と口喧しいということが発生する」ということは嘘だ
$facts$ = fact1: 予期することは起こらない fact2: 危うしということとぴにょぴにゅLv.85事件両方ともが生じる fact3: もしもにゃもちょLv.92事件が起こるし予期することは生じないとすれば微笑ましいということが起こる fact4: 口喧しいということが発生する fact5: ぴにゅぴいLv.61事件が微笑ましいということは原因だ fact6: もしも微笑ましいということは発生しないなら「ぴにゅぴいLv.61事件と口喧しいということが発生する」ということは成り立たない fact7: ぽにょぽねLv.41事件が発生する fact8: もにゃもちょLv.92事件が起こる ; $hypothesis$ = ぴにゅぴいLv.61事件が起こるし更に口喧しいということが起きる ; $proof$ = 
fact1 & fact8 -> int1: もにゃもちょLv.92事件が起こるけれど予期することは起きない; fact3 & int1 -> int2: 微笑ましいということが発生する; int2 & fact5 -> int3: ぴにゅぴいLv.61事件が起きる; int3 & fact4 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: ({AA} & ¬{AB}); fact3 & int1 -> int2: {B}; int2 & fact5 -> int3: {A}; int3 & fact4 -> hypothesis; __PROVED__