まのまのLv.66事件が起きる
fact1: 「みくみちゅLv.82事件が起きる」ということは成り立つ fact2: もしももちゅもにょLv.51事件が起きないしおまけにみくみちゅLv.82事件が生じないならば掲示することは発生しない fact3: 等しということが生じる fact4: 掲示することは等しということに誘発される fact5: 掲示することが発生するしみくみちゅLv.82事件が生じるとすればまのまのLv.66事件は発生しない
fact4 & fact3 -> int1: 掲示することが生じる; int1 & fact1 -> int2: 掲示することおよびみくみちゅLv.82事件が生じる; int2 & fact5 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
まのまのLv.66事件が起きる
$facts$ = fact1: 「みくみちゅLv.82事件が起きる」ということは成り立つ fact2: もしももちゅもにょLv.51事件が起きないしおまけにみくみちゅLv.82事件が生じないならば掲示することは発生しない fact3: 等しということが生じる fact4: 掲示することは等しということに誘発される fact5: 掲示することが発生するしみくみちゅLv.82事件が生じるとすればまのまのLv.66事件は発生しない ; $hypothesis$ = まのまのLv.66事件が起きる ; $proof$ = 
fact4 & fact3 -> int1: 掲示することが生じる; int1 & fact1 -> int2: 掲示することおよびみくみちゅLv.82事件が生じる; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __DISPROVED__