賑々しいということは起きない
fact1: もどかしいということが発生する fact2: 「賑々しいということおよびいみじということが起きる」ということはもどかしいということを回避する fact3: 「聞き取り易いということは起きない」ということは「ぷちょぷくLv.49事件は生じない」ということに繋がる fact4: もしもぷちょぷくLv.49事件は起きないとしたら「もどかしいということは起こらなくてまたいみじということは起こらない」ということは本当でない fact5: いみじということが起こる fact6: 迷い難いということは起こらない fact7: 聞き取り易いということは起きないということは「傷付け易いということは生じない」ということに由来する fact8: もしいみじということは生じないとしたら広しということが生じるし賑々しいということが生じる
void -> assump1: 以下のように仮定する。賑々しいということが発生する; assump1 & fact5 -> int1: 賑々しいということおよびいみじということが起こる; int1 & fact2 -> int2: もどかしいということは発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。賑々しいということが発生する
$facts$ = fact1: もどかしいということが発生する fact2: 「賑々しいということおよびいみじということが起きる」ということはもどかしいということを回避する fact3: 「聞き取り易いということは起きない」ということは「ぷちょぷくLv.49事件は生じない」ということに繋がる fact4: もしもぷちょぷくLv.49事件は起きないとしたら「もどかしいということは起こらなくてまたいみじということは起こらない」ということは本当でない fact5: いみじということが起こる fact6: 迷い難いということは起こらない fact7: 聞き取り易いということは起きないということは「傷付け易いということは生じない」ということに由来する fact8: もしいみじということは生じないとしたら広しということが生じるし賑々しいということが生じる ; $hypothesis$ = 賑々しいということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。賑々しいということが発生する; assump1 & fact5 -> int1: 賑々しいということおよびいみじということが起こる; int1 & fact2 -> int2: もどかしいということは発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__