「みやみえLv.46事件は生じない」ということは正しい
fact1: もしも「皮肉めくことが起こらないかあるいはみやみえLv.46事件は起きないかあるいはどちらもである」ということは真実であるとするとリンスすることは起こらない fact2: ぷにょぷにゅLv.27事件が生じる fact3: ぷにょぷにゅLv.27事件は皮肉めくことに阻まれる fact4: ぷよぷのLv.97事件は「見抜くことが起きないしまたぷにょぷにゅLv.27事件は生じない」ということを誘発する fact5: 「見抜くことが発生しないしその上ぷにょぷにゅLv.27事件は起きない」ということは皮肉めくことを回避する fact6: 皮肉めくことかみやみえLv.46事件は「ぷにょぷにゅLv.27事件は起こらない」ということをもたらす
void -> assump1: 以下のように仮定する。みやみえLv.46事件が発生する; assump1 -> int1: 皮肉めくことかまたはみやみえLv.46事件が起きる; int1 & fact6 -> int2: ぷにょぷにゅLv.27事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
リンスすることは起きない
$facts$ = fact1: もしも「皮肉めくことが起こらないかあるいはみやみえLv.46事件は起きないかあるいはどちらもである」ということは真実であるとするとリンスすることは起こらない fact2: ぷにょぷにゅLv.27事件が生じる fact3: ぷにょぷにゅLv.27事件は皮肉めくことに阻まれる fact4: ぷよぷのLv.97事件は「見抜くことが起きないしまたぷにょぷにゅLv.27事件は生じない」ということを誘発する fact5: 「見抜くことが発生しないしその上ぷにょぷにゅLv.27事件は起きない」ということは皮肉めくことを回避する fact6: 皮肉めくことかみやみえLv.46事件は「ぷにょぷにゅLv.27事件は起こらない」ということをもたらす ; $hypothesis$ = 「みやみえLv.46事件は生じない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。みやみえLv.46事件が発生する; assump1 -> int1: 皮肉めくことかまたはみやみえLv.46事件が起きる; int1 & fact6 -> int2: ぷにょぷにゅLv.27事件は起きない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__