「間違え易いということは起こらない」ということは成り立つ
fact1: みいみなLv.55事件が生じる fact2: 「「送信することと四角いということ両方が起きる」ということは正しい」ということは間違え易いということは発生しないということをもたらす fact3: 四角いということが起こる fact4: 「送信することは発生しない」ということは「みいみなLv.55事件が起きる」ということに阻止される
fact4 & fact1 -> int1: 送信することが生じる; int1 & fact3 -> int2: 送信することと四角いということどちらもが起こる; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: みいみなLv.55事件が生じる fact2: 「「送信することと四角いということ両方が起きる」ということは正しい」ということは間違え易いということは発生しないということをもたらす fact3: 四角いということが起こる fact4: 「送信することは発生しない」ということは「みいみなLv.55事件が起きる」ということに阻止される ; $hypothesis$ = 「間違え易いということは起こらない」ということは成り立つ ; $proof$ = 
fact4 & fact1 -> int1: 送信することが生じる; int1 & fact3 -> int2: 送信することと四角いということどちらもが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__