手放すことは起こらない
fact1: みゆみのLv.91事件が発生する fact2: もしもみゆみのLv.91事件と手放すことが発生するとすれば入れ易いということは発生しない fact3: 入れ易いということが起こる fact4: ぽのぽゆLv.9事件が起こる fact5: 「易しということが生じるしおまけに踊ることが起きる」ということは伸ばし易いということは起きないということを招く fact6: 賢いということが生じる fact7: 仮にみにゅみにょLv.11事件およびまにまにLv.51事件が起きるなら急拡大することは生じない fact8: 広がり難いということと濃いということ両方ともが発生する
void -> assump1: 以下のように仮定する。「手放すことが起きる」ということは事実だ; fact1 & assump1 -> int1: みゆみのLv.91事件および手放すこと両方ともが起きる; int1 & fact2 -> int2: 入れ易いということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: みゆみのLv.91事件が発生する fact2: もしもみゆみのLv.91事件と手放すことが発生するとすれば入れ易いということは発生しない fact3: 入れ易いということが起こる fact4: ぽのぽゆLv.9事件が起こる fact5: 「易しということが生じるしおまけに踊ることが起きる」ということは伸ばし易いということは起きないということを招く fact6: 賢いということが生じる fact7: 仮にみにゅみにょLv.11事件およびまにまにLv.51事件が起きるなら急拡大することは生じない fact8: 広がり難いということと濃いということ両方ともが発生する ; $hypothesis$ = 手放すことは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「手放すことが起きる」ということは事実だ; fact1 & assump1 -> int1: みゆみのLv.91事件および手放すこと両方ともが起きる; int1 & fact2 -> int2: 入れ易いということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__