「影響され易いということは生じない」ということは真実である
fact1: ぷにぷよLv.19事件は起こらないなら影響され易いということおよび酒臭いということ両方ともが起こる fact2: 「影響され易いということは起こらない」ということはぷにぷよLv.19事件および掛かり難いということが起きるに誘発される fact3: 掛かり難いということが生じる fact4: 酒臭いということとぷにぷよLv.19事件両方ともが生じる fact5: 「酒臭いということは発生しない」ということは誤っている
fact4 -> int1: ぷにぷよLv.19事件が起きる; int1 & fact3 -> int2: ぷにぷよLv.19事件および掛かり難いということどちらもが起きる; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
影響され易いということが起こる
$facts$ = fact1: ぷにぷよLv.19事件は起こらないなら影響され易いということおよび酒臭いということ両方ともが起こる fact2: 「影響され易いということは起こらない」ということはぷにぷよLv.19事件および掛かり難いということが起きるに誘発される fact3: 掛かり難いということが生じる fact4: 酒臭いということとぷにぷよLv.19事件両方ともが生じる fact5: 「酒臭いということは発生しない」ということは誤っている ; $hypothesis$ = 「影響され易いということは生じない」ということは真実である ; $proof$ = 
fact4 -> int1: ぷにぷよLv.19事件が起きる; int1 & fact3 -> int2: ぷにぷよLv.19事件および掛かり難いということどちらもが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__