決め難いということは起きない
fact1: もし仮に「不味いということが起きるしそれにみちょみにょLv.64事件が生じる」ということは正しいということはないなら決め難いということは発生しない fact2: 「決め難いということは起こらない」ということはみちょみにょLv.64事件に阻まれる fact3: もし仮に「ぷにゅぷちゅLv.18事件は起きない」ということは本当なら「不味いということおよびみちょみにょLv.64事件が生じる」ということは嘘である fact4: ぴちゃぴちゅLv.22事件が生じる fact5: 「不味いということが起こる」ということは成り立つ fact6: もし仮に「ぷにゅぷちゅLv.18事件が起こるけどおもろいということは起こらない」ということは誤っていれば決め難いということは発生しない fact7: 「不味いということは起きないしみちょみにょLv.64事件が生じる」ということは決め難いということは生じないということの原因となる fact8: 「みちょみにょLv.64事件は生じない」ということは不味いということに阻止される
fact8 & fact5 -> int1: みちょみにょLv.64事件が起こる; int1 & fact2 -> hypothesis;
fact8 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis;
決め難いということは起きない
$facts$ = fact1: もし仮に「不味いということが起きるしそれにみちょみにょLv.64事件が生じる」ということは正しいということはないなら決め難いということは発生しない fact2: 「決め難いということは起こらない」ということはみちょみにょLv.64事件に阻まれる fact3: もし仮に「ぷにゅぷちゅLv.18事件は起きない」ということは本当なら「不味いということおよびみちょみにょLv.64事件が生じる」ということは嘘である fact4: ぴちゃぴちゅLv.22事件が生じる fact5: 「不味いということが起こる」ということは成り立つ fact6: もし仮に「ぷにゅぷちゅLv.18事件が起こるけどおもろいということは起こらない」ということは誤っていれば決め難いということは発生しない fact7: 「不味いということは起きないしみちょみにょLv.64事件が生じる」ということは決め難いということは生じないということの原因となる fact8: 「みちょみにょLv.64事件は生じない」ということは不味いということに阻止される ; $hypothesis$ = 決め難いということは起きない ; $proof$ = 
fact8 & fact5 -> int1: みちょみにょLv.64事件が起こる; int1 & fact2 -> hypothesis; __DISPROVED__
fact8 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis; __DISPROVED__