罪深いということおよび指標化することが発生する
fact1: もくものLv.19事件が発生するしぴわぴわLv.33事件が生じる fact2: 「狡賢いということが起こる」ということは本当である fact3: 「もくものLv.19事件は起きない」ということは成り立つなら「罪深いということと指標化することどちらもが発生する」ということは誤りだ fact4: 指標化することはもくものLv.19事件に誘発される fact5: 罪深いということが起きる fact6: もし仮に「加わることは起きない」ということは事実だとしたらぴわぴわLv.33事件は起きないしもくものLv.19事件は起きない fact7: 牽引することが加わることは起こらないということのきっかけとなる
fact1 -> int1: もくものLv.19事件が生じる; int1 & fact4 -> int2: 指標化することが生じる; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact5 -> hypothesis;
「罪深いということが発生するししかも指標化することが生じる」ということは事実と異なる
$facts$ = fact1: もくものLv.19事件が発生するしぴわぴわLv.33事件が生じる fact2: 「狡賢いということが起こる」ということは本当である fact3: 「もくものLv.19事件は起きない」ということは成り立つなら「罪深いということと指標化することどちらもが発生する」ということは誤りだ fact4: 指標化することはもくものLv.19事件に誘発される fact5: 罪深いということが起きる fact6: もし仮に「加わることは起きない」ということは事実だとしたらぴわぴわLv.33事件は起きないしもくものLv.19事件は起きない fact7: 牽引することが加わることは起こらないということのきっかけとなる ; $hypothesis$ = 罪深いということおよび指標化することが発生する ; $proof$ = 
fact1 -> int1: もくものLv.19事件が生じる; int1 & fact4 -> int2: 指標化することが生じる; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__