むさいということは起きない
fact1: ぴねぴちょLv.13事件が起きる fact2: 設定し為さることが生じる fact3: 設定し為さることが発生するしそれに愛らしいということが起きる fact4: むさいということは起こらないということは「ぴねぴちょLv.13事件が発生するし更に愛らしいということが起きる」ということに誘発される
fact3 -> int1: 愛らしいということが発生する; int1 & fact1 -> int2: ぴねぴちょLv.13事件および愛らしいということどちらもが発生する; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
$facts$ = fact1: ぴねぴちょLv.13事件が起きる fact2: 設定し為さることが生じる fact3: 設定し為さることが発生するしそれに愛らしいということが起きる fact4: むさいということは起こらないということは「ぴねぴちょLv.13事件が発生するし更に愛らしいということが起きる」ということに誘発される ; $hypothesis$ = むさいということは起きない ; $proof$ = 
fact3 -> int1: 愛らしいということが発生する; int1 & fact1 -> int2: ぴねぴちょLv.13事件および愛らしいということどちらもが発生する; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__