乏しいということおよび弁解がましいということ両方ともが起きる
fact1: 弁解がましいということが発生する fact2: 乏しいということが発生する fact3: もし仮にぴいぴにLv.58事件は発生しないとすれば「乏しいということおよび弁解がましいということが発生する」ということは間違っている fact4: 乏しいということおよび刊行することが生じるはぴいぴにLv.58事件は起こらないということに引き起こされる fact5: 仮に「面白おかしいということは起こらないかまたは滑り難いということが生じる」ということは間違っているとしたらぴいぴにLv.58事件は起こらない fact6: 「儚しということが起こる」ということは誤りでない
fact2 -> int1: 乏しいということが発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「「乏しいということと弁解がましいということ両方が生じる」ということは誤っていない」ということは真実でない
$facts$ = fact1: 弁解がましいということが発生する fact2: 乏しいということが発生する fact3: もし仮にぴいぴにLv.58事件は発生しないとすれば「乏しいということおよび弁解がましいということが発生する」ということは間違っている fact4: 乏しいということおよび刊行することが生じるはぴいぴにLv.58事件は起こらないということに引き起こされる fact5: 仮に「面白おかしいということは起こらないかまたは滑り難いということが生じる」ということは間違っているとしたらぴいぴにLv.58事件は起こらない fact6: 「儚しということが起こる」ということは誤りでない ; $hypothesis$ = 乏しいということおよび弁解がましいということ両方ともが起きる ; $proof$ = 
fact2 -> int1: 乏しいということが発生する; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__