脂っこいということが発生する
fact1: みくみいLv.68事件が生じる fact2: ぴえぴちゅLv.0事件はもわもえLv.95事件に引き起こされる fact3: 輔弼することが生じる fact4: 「みくみいLv.68事件が起こるということは「もわもえLv.95事件は起きない」ということを回避する」ということは正しい fact5: 「もわもにゃLv.57事件は発生しない」ということは脂っこいということを阻止する fact6: 「もわもにゃLv.57事件は生じない」ということはぴえぴちゅLv.0事件および輔弼することが起きるに由来する fact7: もし仮にみくみいLv.68事件は生じなくてもわもえLv.95事件が生じるとしたら神々しいということは起きない
fact4 & fact1 -> int1: もわもえLv.95事件が生じる; int1 & fact2 -> int2: 「ぴえぴちゅLv.0事件が生じる」ということは真実である; int2 & fact3 -> int3: ぴえぴちゅLv.0事件および輔弼することが起きる; int3 & fact6 -> int4: 「もわもにゃLv.57事件は発生しない」ということは事実である; int4 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact6 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
神々しいということは発生しない
$facts$ = fact1: みくみいLv.68事件が生じる fact2: ぴえぴちゅLv.0事件はもわもえLv.95事件に引き起こされる fact3: 輔弼することが生じる fact4: 「みくみいLv.68事件が起こるということは「もわもえLv.95事件は起きない」ということを回避する」ということは正しい fact5: 「もわもにゃLv.57事件は発生しない」ということは脂っこいということを阻止する fact6: 「もわもにゃLv.57事件は生じない」ということはぴえぴちゅLv.0事件および輔弼することが起きるに由来する fact7: もし仮にみくみいLv.68事件は生じなくてもわもえLv.95事件が生じるとしたら神々しいということは起きない ; $hypothesis$ = 脂っこいということが発生する ; $proof$ = 
fact4 & fact1 -> int1: もわもえLv.95事件が生じる; int1 & fact2 -> int2: 「ぴえぴちゅLv.0事件が生じる」ということは真実である; int2 & fact3 -> int3: ぴえぴちゅLv.0事件および輔弼することが起きる; int3 & fact6 -> int4: 「もわもにゃLv.57事件は発生しない」ということは事実である; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact6 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __DISPROVED__