このぽくぽにLv.40は狙われ易くない
fact1: もし「あるモンスターは狙われ易いしさらに止む無い」ということは誤っていれば狙われ易いということはない fact2: もしもそのまにまちゃLv.92が止む無いとするとこのぽくぽにLv.40は出仕する fact3: もし仮にこのぽくぽにLv.40が出仕するとしたらこのぽくぽにLv.40は狙われ易い fact4: 全てのモンスターは継続出来るし止む無い fact5: このぷねぷわLv.11は継続出来る
fact4 -> int1: そのまにまちゃLv.92は継続出来るし加えて止む無い; int1 -> int2: そのまにまちゃLv.92は止む無い; int2 & fact2 -> int3: このぽくぽにLv.40は出仕する; int3 & fact3 -> hypothesis;
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
このぽくぽにLv.40は狙われ易くない
fact6 -> int4: 仮に「このぽくぽにLv.40は狙われ易いししかも止む無い」ということは事実と異なるとすれば狙われ易いということはない;
$facts$ = fact1: もし「あるモンスターは狙われ易いしさらに止む無い」ということは誤っていれば狙われ易いということはない fact2: もしもそのまにまちゃLv.92が止む無いとするとこのぽくぽにLv.40は出仕する fact3: もし仮にこのぽくぽにLv.40が出仕するとしたらこのぽくぽにLv.40は狙われ易い fact4: 全てのモンスターは継続出来るし止む無い fact5: このぷねぷわLv.11は継続出来る ; $hypothesis$ = このぽくぽにLv.40は狙われ易くない ; $proof$ = 
fact4 -> int1: そのまにまちゃLv.92は継続出来るし加えて止む無い; int1 -> int2: そのまにまちゃLv.92は止む無い; int2 & fact2 -> int3: このぽくぽにLv.40は出仕する; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __DISPROVED__