ぴゆぴにゅLv.66事件は起こらない
fact1: 「専属することと流され易いということどちらもが生じる」ということは「ぽなぽなLv.3事件は起きない」ということがきっかけだ fact2: 「ぴゆぴにゅLv.66事件は生じない」ということは「もちょもなLv.79事件および専属すること両方ともが生じる」ということが契機である fact3: 仮に「流され易いということは起きない」ということは成り立てば「ぴゆぴにゅLv.66事件および専属することが起きる」ということは事実だ fact4: もし仮に規則正しいということが起きるなら「もちょもなLv.79事件が起きないかあるいはぽなぽなLv.3事件は起こらない」ということは成り立たない fact5: 「ぽなぽなLv.3事件は生じない」ということは成り立つ fact6: 「もちょもなLv.79事件が生じる」ということは正しい fact7: 規則正しいということは「もえもちゃLv.96事件は発生しない」ということかあるいは規則正しいということが原因である
fact1 & fact5 -> int1: 専属することと流され易いということが発生する; int1 -> int2: 専属することが発生する; int2 & fact6 -> int3: もちょもなLv.79事件および専属すること両方が生じる; int3 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact6 -> int3: ({C} & {A}); int3 & fact2 -> hypothesis;
「ぴゆぴにゅLv.66事件が起きる」ということは誤りでない
$facts$ = fact1: 「専属することと流され易いということどちらもが生じる」ということは「ぽなぽなLv.3事件は起きない」ということがきっかけだ fact2: 「ぴゆぴにゅLv.66事件は生じない」ということは「もちょもなLv.79事件および専属すること両方ともが生じる」ということが契機である fact3: 仮に「流され易いということは起きない」ということは成り立てば「ぴゆぴにゅLv.66事件および専属することが起きる」ということは事実だ fact4: もし仮に規則正しいということが起きるなら「もちょもなLv.79事件が起きないかあるいはぽなぽなLv.3事件は起こらない」ということは成り立たない fact5: 「ぽなぽなLv.3事件は生じない」ということは成り立つ fact6: 「もちょもなLv.79事件が生じる」ということは正しい fact7: 規則正しいということは「もえもちゃLv.96事件は発生しない」ということかあるいは規則正しいということが原因である ; $hypothesis$ = ぴゆぴにゅLv.66事件は起こらない ; $proof$ = 
fact1 & fact5 -> int1: 専属することと流され易いということが発生する; int1 -> int2: 専属することが発生する; int2 & fact6 -> int3: もちょもなLv.79事件および専属すること両方が生じる; int3 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact6 -> int3: ({C} & {A}); int3 & fact2 -> hypothesis; __PROVED__