口惜しいということは起こらなくて惜しいということは起きない
fact1: 掲載することは「汚れ難いということが起こるし久しということは生じない」ということに阻まれる fact2: 「口惜しいということは発生しないし更に惜しいということは起きない」ということは「口惜しいということは発生しない」ということが契機である fact3: 掲載することが発生する fact4: 「汚れ難いということが起こるし久しということは起きない」ということはぷくぷにLv.21事件が起こるということに誘発される fact5: 口惜しいということは「掲載することが起こるし汚れ難いということが起きる」ということに阻止される fact6: 汚れ難いということが生じる fact7: もしも掲載することは生じないとしたら「口惜しいということは発生しなくてさらに惜しいということは起きない」ということは成り立つということはない
fact3 & fact6 -> int1: 掲載することと汚れ難いということが起きる; int1 & fact5 -> int2: 口惜しいということは発生しない; int2 & fact2 -> hypothesis;
fact3 & fact6 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> hypothesis;
「口惜しいということは発生しないしそれに惜しいということは起こらない」ということは成り立たない
$facts$ = fact1: 掲載することは「汚れ難いということが起こるし久しということは生じない」ということに阻まれる fact2: 「口惜しいということは発生しないし更に惜しいということは起きない」ということは「口惜しいということは発生しない」ということが契機である fact3: 掲載することが発生する fact4: 「汚れ難いということが起こるし久しということは起きない」ということはぷくぷにLv.21事件が起こるということに誘発される fact5: 口惜しいということは「掲載することが起こるし汚れ難いということが起きる」ということに阻止される fact6: 汚れ難いということが生じる fact7: もしも掲載することは生じないとしたら「口惜しいということは発生しなくてさらに惜しいということは起きない」ということは成り立つということはない ; $hypothesis$ = 口惜しいということは起こらなくて惜しいということは起きない ; $proof$ = 
fact3 & fact6 -> int1: 掲載することと汚れ難いということが起きる; int1 & fact5 -> int2: 口惜しいということは発生しない; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact6 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> hypothesis; __PROVED__