物憂いということは生じない
fact1: 人らしいということが発生する fact2: 「人らしいということが生じる」ということはぷにょぷわLv.48事件は起こらないということを阻止する fact3: 青白いということが発生する fact4: 物憂いということは生じないということは青白いということとぷにょぷわLv.48事件が起こるに起因する
fact2 & fact1 -> int1: ぷにょぷわLv.48事件が発生する; int1 & fact3 -> int2: 青白いということが起きるしぷにょぷわLv.48事件が生じる; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 人らしいということが発生する fact2: 「人らしいということが生じる」ということはぷにょぷわLv.48事件は起こらないということを阻止する fact3: 青白いということが発生する fact4: 物憂いということは生じないということは青白いということとぷにょぷわLv.48事件が起こるに起因する ; $hypothesis$ = 物憂いということは生じない ; $proof$ = 
fact2 & fact1 -> int1: ぷにょぷわLv.48事件が発生する; int1 & fact3 -> int2: 青白いということが起きるしぷにょぷわLv.48事件が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__