女々しいということが生じるしもやもちゅLv.65事件は生じない
fact1: 拡大出来ることが起きる fact2: シミュレート出来ることが起きるしさらに凛々しいということが生じる fact3: もにゅもねLv.15事件は発生するしみやみにゅLv.35事件は起きない fact4: 女々しいということが起きる fact5: 「凛々しいということと拡大出来ることが起きる」ということはもやもちゅLv.65事件を阻む fact6: もし仮に凛々しいということは発生しないなら「女々しいということが生じるしもやもちゅLv.65事件は起きない」ということは成り立たない
fact2 -> int1: 凛々しいということが生じる; int1 & fact1 -> int2: 凛々しいということが生じるしその上拡大出来ることが起こる; int2 & fact5 -> int3: もやもちゅLv.65事件は生じない; int3 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact4 -> hypothesis;
「女々しいということは発生するしもやもちゅLv.65事件は生じない」ということは間違いだ
$facts$ = fact1: 拡大出来ることが起きる fact2: シミュレート出来ることが起きるしさらに凛々しいということが生じる fact3: もにゅもねLv.15事件は発生するしみやみにゅLv.35事件は起きない fact4: 女々しいということが起きる fact5: 「凛々しいということと拡大出来ることが起きる」ということはもやもちゅLv.65事件を阻む fact6: もし仮に凛々しいということは発生しないなら「女々しいということが生じるしもやもちゅLv.65事件は起きない」ということは成り立たない ; $hypothesis$ = 女々しいということが生じるしもやもちゅLv.65事件は生じない ; $proof$ = 
fact2 -> int1: 凛々しいということが生じる; int1 & fact1 -> int2: 凛々しいということが生じるしその上拡大出来ることが起こる; int2 & fact5 -> int3: もやもちゅLv.65事件は生じない; int3 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact4 -> hypothesis; __PROVED__