「「動かし難いということではなくまよまなLv.79事件が起こる」ということは事実だ」ということは正しくない
fact1: 御出掛けることが起きるということは不平等化することに帰結する fact2: 「御出掛けることは生じない」ということは引き出し易いということに阻止される fact3: ぷにゃぷにょLv.23事件が発生する fact4: 引き出し易いということが発生する fact5: 「冗談ぽいということは発生しない」ということは「ぷにゃぷにょLv.23事件が生じるしその上不平等化することが起こる」ということがきっかけだ fact6: 焼きすることおよび満遍無いということが起こる fact7: もしも冗談ぽいということは起こらないとすれば「動かし難いということは発生しないがまよまなLv.79事件が発生する」ということは間違っている
fact2 & fact4 -> int1: 御出掛けることが発生する; int1 & fact1 -> int2: 不平等化することが発生する; int2 & fact3 -> int3: ぷにゃぷにょLv.23事件と不平等化することが発生する; int3 & fact5 -> int4: 冗談ぽいということは生じない; int4 & fact7 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact3 -> int3: ({D} & {C}); int3 & fact5 -> int4: ¬{E}; int4 & fact7 -> hypothesis;
$facts$ = fact1: 御出掛けることが起きるということは不平等化することに帰結する fact2: 「御出掛けることは生じない」ということは引き出し易いということに阻止される fact3: ぷにゃぷにょLv.23事件が発生する fact4: 引き出し易いということが発生する fact5: 「冗談ぽいということは発生しない」ということは「ぷにゃぷにょLv.23事件が生じるしその上不平等化することが起こる」ということがきっかけだ fact6: 焼きすることおよび満遍無いということが起こる fact7: もしも冗談ぽいということは起こらないとすれば「動かし難いということは発生しないがまよまなLv.79事件が発生する」ということは間違っている ; $hypothesis$ = 「「動かし難いということではなくまよまなLv.79事件が起こる」ということは事実だ」ということは正しくない ; $proof$ = 
fact2 & fact4 -> int1: 御出掛けることが発生する; int1 & fact1 -> int2: 不平等化することが発生する; int2 & fact3 -> int3: ぷにゃぷにょLv.23事件と不平等化することが発生する; int3 & fact5 -> int4: 冗談ぽいということは生じない; int4 & fact7 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact3 -> int3: ({D} & {C}); int3 & fact5 -> int4: ¬{E}; int4 & fact7 -> hypothesis; __PROVED__