久しか落ち易いモンスターはいる
fact1: 「仮にそのぷなぷちゅLv.41が摘むならこのぷいぷにLv.76は落ち易い」ということは誤っているということはない fact2: もし仮にあるモンスターは摘むなら「それは落ち易いが鳴り止まない」ということは事実と異なる fact3: そのぷなぷちゅLv.41は摘む fact4: 「何らかのモンスターは落ち易いが鳴り止まない」ということは偽であるならそれは鳴り止む
fact1 & fact3 -> int1: 「このぷいぷにLv.76は落ち易い」ということは正しい; int1 -> int2: 「このぷいぷにLv.76は久しかもしくはそれは落ち易いかもしくは両方だ」ということは誤っていない; int2 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 -> hypothesis;
このぷいぷにLv.76は鳴り止む
fact6 -> int3: もしも「このぷいぷにLv.76は落ち易いけど鳴り止まない」ということは誤りであるなら鳴り止む; fact5 -> int4: 仮に「このぷいぷにLv.76は摘む」ということは事実だとしたら「それは落ち易いけど鳴り止まない」ということは間違っている;
$facts$ = fact1: 「仮にそのぷなぷちゅLv.41が摘むならこのぷいぷにLv.76は落ち易い」ということは誤っているということはない fact2: もし仮にあるモンスターは摘むなら「それは落ち易いが鳴り止まない」ということは事実と異なる fact3: そのぷなぷちゅLv.41は摘む fact4: 「何らかのモンスターは落ち易いが鳴り止まない」ということは偽であるならそれは鳴り止む ; $hypothesis$ = 久しか落ち易いモンスターはいる ; $proof$ = 
fact1 & fact3 -> int1: 「このぷいぷにLv.76は落ち易い」ということは正しい; int1 -> int2: 「このぷいぷにLv.76は久しかもしくはそれは落ち易いかもしくは両方だ」ということは誤っていない; int2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 -> hypothesis; __PROVED__