「心置き無いということかまたはまにゅまゆLv.12事件が生じる」ということは成り立たない
fact1: 見苦しいということは発生しない fact2: 「似付かわしいということが起きる」ということは成り立つ fact3: 「まねまなLv.95事件は起きない」ということは誤っていない fact4: 「タイトルらしいということは発生しないしそれに走り易いということは起きない」ということは見苦しいということは発生しないということにより発生する fact5: 「生え易いということは発生しない」ということは「殴り付けることが発生する」ということを阻止する fact6: 「タイトルらしいということは生じなくてまた走り易いということは発生しない」ということは心置き無いということを誘発する
fact4 & fact1 -> int1: タイトルらしいということは起きないしそれに走り易いということは起こらない; int1 & fact6 -> int2: 心置き無いということが起こる; int2 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA} & ¬{AB}); int1 & fact6 -> int2: {B}; int2 -> hypothesis;
$facts$ = fact1: 見苦しいということは発生しない fact2: 「似付かわしいということが起きる」ということは成り立つ fact3: 「まねまなLv.95事件は起きない」ということは誤っていない fact4: 「タイトルらしいということは発生しないしそれに走り易いということは起きない」ということは見苦しいということは発生しないということにより発生する fact5: 「生え易いということは発生しない」ということは「殴り付けることが発生する」ということを阻止する fact6: 「タイトルらしいということは生じなくてまた走り易いということは発生しない」ということは心置き無いということを誘発する ; $hypothesis$ = 「心置き無いということかまたはまにゅまゆLv.12事件が生じる」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: タイトルらしいということは起きないしそれに走り易いということは起こらない; int1 & fact6 -> int2: 心置き無いということが起こる; int2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: (¬{AA} & ¬{AB}); int1 & fact6 -> int2: {B}; int2 -> hypothesis; __DISPROVED__