黄色っぽいということが起きるけれど表現し難いということは起こらない
fact1: 表現し難いということは起きない fact2: 「長細いということと仲直りすること両方ともが発生する」ということはまよまなLv.92事件は生じないということを招く fact3: もしも「「長細いということが発生するしその上広げることが生じる」ということは成り立たない」ということは事実と異ならないとすれば「長細いということは起こらない」ということは成り立つ fact4: 仲直りすることが生じないとすると再認することとぷいぷくLv.42事件は発生する fact5: 長細いということは過ごし易いということにもたらされる fact6: 小さいということが起きる fact7: もし仮に広げることは発生しないとすれば「仲直りすることが発生するしかつまよまなLv.92事件が生じる」ということは誤りである fact8: 再認することが起きるしさらに過ごし易いということが発生する fact9: 「黄色っぽいということが発生するけれど表現し難いということは起こらない」ということは「まよまなLv.92事件は起こらない」ということにより生じる fact10: 仲直りすることが発生する
fact8 -> int1: 過ごし易いということが生じる; int1 & fact5 -> int2: 長細いということが生じる; int2 & fact10 -> int3: 長細いということおよび仲直りすることが起こる; int3 & fact2 -> int4: まよまなLv.92事件は生じない; int4 & fact9 -> hypothesis;
fact8 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact10 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact9 -> hypothesis;
「黄色っぽいということが生じるが表現し難いということは生じない」ということは成り立つということはない
$facts$ = fact1: 表現し難いということは起きない fact2: 「長細いということと仲直りすること両方ともが発生する」ということはまよまなLv.92事件は生じないということを招く fact3: もしも「「長細いということが発生するしその上広げることが生じる」ということは成り立たない」ということは事実と異ならないとすれば「長細いということは起こらない」ということは成り立つ fact4: 仲直りすることが生じないとすると再認することとぷいぷくLv.42事件は発生する fact5: 長細いということは過ごし易いということにもたらされる fact6: 小さいということが起きる fact7: もし仮に広げることは発生しないとすれば「仲直りすることが発生するしかつまよまなLv.92事件が生じる」ということは誤りである fact8: 再認することが起きるしさらに過ごし易いということが発生する fact9: 「黄色っぽいということが発生するけれど表現し難いということは起こらない」ということは「まよまなLv.92事件は起こらない」ということにより生じる fact10: 仲直りすることが発生する ; $hypothesis$ = 黄色っぽいということが起きるけれど表現し難いということは起こらない ; $proof$ = 
fact8 -> int1: 過ごし易いということが生じる; int1 & fact5 -> int2: 長細いということが生じる; int2 & fact10 -> int3: 長細いということおよび仲直りすることが起こる; int3 & fact2 -> int4: まよまなLv.92事件は生じない; int4 & fact9 -> hypothesis; __PROVED__
fact8 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact10 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact9 -> hypothesis; __PROVED__