邪魔臭いということは起こらなくてそれにぴゆぴちょLv.59事件は生じない
fact1: 邪魔臭いということは発生しないということは「邪魔臭いということは生じなくてぴゆぴちょLv.59事件は起こらない」ということに繋がる fact2: 「反駁することが発生する」ということは父親らしいということにより発生する fact3: 「反駁することが起こるし加えてぽいぽわLv.41事件が起きる」ということは邪魔臭いということを回避する fact4: 父親らしいということが生じる fact5: 「ぷゆぷにゃLv.37事件は起こらない」ということはもにもわLv.28事件に阻まれる fact6: ぽいぽわLv.41事件が生じる
fact4 & fact2 -> int1: 反駁することが発生する; int1 & fact6 -> int2: 反駁することが起こるしそれにぽいぽわLv.41事件が生じる; int2 & fact3 -> int3: 「邪魔臭いということは起きない」ということは本当である; int3 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {A}; int1 & fact6 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 邪魔臭いということは発生しないということは「邪魔臭いということは生じなくてぴゆぴちょLv.59事件は起こらない」ということに繋がる fact2: 「反駁することが発生する」ということは父親らしいということにより発生する fact3: 「反駁することが起こるし加えてぽいぽわLv.41事件が起きる」ということは邪魔臭いということを回避する fact4: 父親らしいということが生じる fact5: 「ぷゆぷにゃLv.37事件は起こらない」ということはもにもわLv.28事件に阻まれる fact6: ぽいぽわLv.41事件が生じる ; $hypothesis$ = 邪魔臭いということは起こらなくてそれにぴゆぴちょLv.59事件は生じない ; $proof$ = 
fact4 & fact2 -> int1: 反駁することが発生する; int1 & fact6 -> int2: 反駁することが起こるしそれにぽいぽわLv.41事件が生じる; int2 & fact3 -> int3: 「邪魔臭いということは起きない」ということは本当である; int3 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {A}; int1 & fact6 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact1 -> hypothesis; __PROVED__