「凛々しいということが生じる」ということは成り立つ
fact1: ぴのぴなLv.20事件が起こる fact2: 「実行し易いということかぷねぷにLv.54事件が発生する」ということは事実と異なるとすると書き易いということは起きない fact3: ぴのぴなLv.20事件は書き易いということに繋がる fact4: もしも実行し易いということおよび書き易いということが発生するとすれば凛々しいということは発生しない fact5: もし心細いということは発生しないとしたら「実行し易いということが起きるかもしくはぷねぷにLv.54事件が起こる」ということは事実と異なる fact6: 実行し易いということが発生する fact7: 心細いということはぷねぷにLv.54事件が生じるということの原因となる
fact3 & fact1 -> int1: 書き易いということが発生する; int1 & fact6 -> int2: 実行し易いということと書き易いということ両方ともが発生する; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
「凛々しいということが生じる」ということは成り立つ
$facts$ = fact1: ぴのぴなLv.20事件が起こる fact2: 「実行し易いということかぷねぷにLv.54事件が発生する」ということは事実と異なるとすると書き易いということは起きない fact3: ぴのぴなLv.20事件は書き易いということに繋がる fact4: もしも実行し易いということおよび書き易いということが発生するとすれば凛々しいということは発生しない fact5: もし心細いということは発生しないとしたら「実行し易いということが起きるかもしくはぷねぷにLv.54事件が起こる」ということは事実と異なる fact6: 実行し易いということが発生する fact7: 心細いということはぷねぷにLv.54事件が生じるということの原因となる ; $hypothesis$ = 「凛々しいということが生じる」ということは成り立つ ; $proof$ = 
fact3 & fact1 -> int1: 書き易いということが発生する; int1 & fact6 -> int2: 実行し易いということと書き易いということ両方ともが発生する; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __DISPROVED__