「疚しいということは生じないし根気強いということが起きる」ということは誤りである
fact1: 点数化することが起こる fact2: 根気強いということは「疚しいということではなく根気強いということが起きる」ということをもたらす fact3: もし目的無しということは起きないとしたら程遠いということは発生しないが成立し難いということが発生する fact4: 目的無しということが生じる fact5: 「昇格することは起こらないがしかし根気強いということが起こる」ということは目的無しということがきっかけだ fact6: ぷにゅぷちょLv.46事件は起こらない fact7: 「可愛らしいということは起きない」ということは正しい
fact5 & fact4 -> int1: 昇格することではなくて根気強いということが生じる; int1 -> int2: 根気強いということが起こる; int2 & fact2 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA} & {AB}); int1 -> int2: {AB}; int2 & fact2 -> hypothesis;
程遠いということではなく成立し難いということが起こる
$facts$ = fact1: 点数化することが起こる fact2: 根気強いということは「疚しいということではなく根気強いということが起きる」ということをもたらす fact3: もし目的無しということは起きないとしたら程遠いということは発生しないが成立し難いということが発生する fact4: 目的無しということが生じる fact5: 「昇格することは起こらないがしかし根気強いということが起こる」ということは目的無しということがきっかけだ fact6: ぷにゅぷちょLv.46事件は起こらない fact7: 「可愛らしいということは起きない」ということは正しい ; $hypothesis$ = 「疚しいということは生じないし根気強いということが起きる」ということは誤りである ; $proof$ = 
fact5 & fact4 -> int1: 昇格することではなくて根気強いということが生じる; int1 -> int2: 根気強いということが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: (¬{AA} & {AB}); int1 -> int2: {AB}; int2 & fact2 -> hypothesis; __DISPROVED__