「みにみにLv.44事件は生じない」ということは成り立つ
fact1: 「みちゃみちゅLv.34事件は起こらない」ということはまよまよLv.1事件に阻まれる fact2: 御雇うことが起きる fact3: 乗れることは発生しないということは怒鳴り付けることに阻止される fact4: 「まなまちゃLv.25事件が起こる」ということはみにみにLv.44事件は起こらないということを阻止する fact5: みちゃみちゅLv.34事件は恙無いということをもたらす fact6: 「まよまよLv.1事件が起こる」ということは正しい fact7: 恙無いということはぽやぽわLv.82事件は起こらないということを防ぐ fact8: 「刺々しいということは起こらない」ということは物悲しいということに阻止される fact9: 「ぽやぽわLv.82事件が起こる」ということは「まなまちゃLv.25事件は生じない」ということを阻止する fact10: 遣る瀬無いということが生じる fact11: 厳いということが発生する
fact1 & fact6 -> int1: みちゃみちゅLv.34事件が起こる; int1 & fact5 -> int2: 恙無いということが発生する; int2 & fact7 -> int3: ぽやぽわLv.82事件が起こる; int3 & fact9 -> int4: まなまちゃLv.25事件が生じる; int4 & fact4 -> hypothesis;
fact1 & fact6 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> int3: {D}; int3 & fact9 -> int4: {E}; int4 & fact4 -> hypothesis;
$facts$ = fact1: 「みちゃみちゅLv.34事件は起こらない」ということはまよまよLv.1事件に阻まれる fact2: 御雇うことが起きる fact3: 乗れることは発生しないということは怒鳴り付けることに阻止される fact4: 「まなまちゃLv.25事件が起こる」ということはみにみにLv.44事件は起こらないということを阻止する fact5: みちゃみちゅLv.34事件は恙無いということをもたらす fact6: 「まよまよLv.1事件が起こる」ということは正しい fact7: 恙無いということはぽやぽわLv.82事件は起こらないということを防ぐ fact8: 「刺々しいということは起こらない」ということは物悲しいということに阻止される fact9: 「ぽやぽわLv.82事件が起こる」ということは「まなまちゃLv.25事件は生じない」ということを阻止する fact10: 遣る瀬無いということが生じる fact11: 厳いということが発生する ; $hypothesis$ = 「みにみにLv.44事件は生じない」ということは成り立つ ; $proof$ = 
fact1 & fact6 -> int1: みちゃみちゅLv.34事件が起こる; int1 & fact5 -> int2: 恙無いということが発生する; int2 & fact7 -> int3: ぽやぽわLv.82事件が起こる; int3 & fact9 -> int4: まなまちゃLv.25事件が生じる; int4 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact7 -> int3: {D}; int3 & fact9 -> int4: {E}; int4 & fact4 -> hypothesis; __DISPROVED__