みよみやLv.8事件が起きるかあるいはもちゃもにLv.24事件が生じる
fact1: 「放てることが起きる」ということは誤りでない fact2: 思い出深いということが生じる fact3: 「もちゃもにLv.24事件が生じる」ということは「みちゃみにゃLv.69事件ではなく思い出深いということが起きる」ということがきっかけである fact4: 刺々しいということが生じる fact5: もし仮に刺々しいということおよび放てることが生じるとしたらみちゃみにゃLv.69事件は生じない
fact4 & fact1 -> int1: 刺々しいということと放てることが起きる; int1 & fact5 -> int2: みちゃみにゃLv.69事件は発生しない; int2 & fact2 -> int3: みちゃみにゃLv.69事件ではなくて思い出深いということが起きる; int3 & fact3 -> int4: もちゃもにLv.24事件が発生する; int4 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{C} & {D}); int3 & fact3 -> int4: {E}; int4 -> hypothesis;
$facts$ = fact1: 「放てることが起きる」ということは誤りでない fact2: 思い出深いということが生じる fact3: 「もちゃもにLv.24事件が生じる」ということは「みちゃみにゃLv.69事件ではなく思い出深いということが起きる」ということがきっかけである fact4: 刺々しいということが生じる fact5: もし仮に刺々しいということおよび放てることが生じるとしたらみちゃみにゃLv.69事件は生じない ; $hypothesis$ = みよみやLv.8事件が起きるかあるいはもちゃもにLv.24事件が生じる ; $proof$ = 
fact4 & fact1 -> int1: 刺々しいということと放てることが起きる; int1 & fact5 -> int2: みちゃみにゃLv.69事件は発生しない; int2 & fact2 -> int3: みちゃみにゃLv.69事件ではなくて思い出深いということが起きる; int3 & fact3 -> int4: もちゃもにLv.24事件が発生する; int4 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: (¬{C} & {D}); int3 & fact3 -> int4: {E}; int4 -> hypothesis; __PROVED__