探し易いということは生じない
fact1: ぽやぽよLv.10事件が生じる fact2: 「探し易いということは起こらない」ということは「与え易いということが発生する」ということに阻止される fact3: もし久しいということは起きないとすると「与え易いということは発生する一方でぽやぽよLv.10事件は発生しない」ということは成り立つということはない fact4: 探し易いということは与え易いということは発生しないということに防がれる fact5: 「与え易いということが起こるししかもぽやぽよLv.10事件が起きる」ということは本当である
fact5 -> int1: 与え易いということが起きる; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> hypothesis;
探し易いということは生じない
$facts$ = fact1: ぽやぽよLv.10事件が生じる fact2: 「探し易いということは起こらない」ということは「与え易いということが発生する」ということに阻止される fact3: もし久しいということは起きないとすると「与え易いということは発生する一方でぽやぽよLv.10事件は発生しない」ということは成り立つということはない fact4: 探し易いということは与え易いということは発生しないということに防がれる fact5: 「与え易いということが起こるししかもぽやぽよLv.10事件が起きる」ということは本当である ; $hypothesis$ = 探し易いということは生じない ; $proof$ = 
fact5 -> int1: 与え易いということが起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__