あのまちょまえLv.9は抗し難い
fact1: このぽえぽくLv.15は共鳴し易い fact2: もし仮にそのぽいぽなLv.59は寒しし発艦するとしたらおどろおどろしくない fact3: もしもそのまえまにゃLv.80は共鳴し易いならば「あのまちょまえLv.9は発艦しないしさらに捕まえ易くない」ということは成り立たない fact4: あのまちょまえLv.9は残り難いし更に移民する fact5: もしもあのまちょまえLv.9が移民しないとするとあのまくまにLv.72は残り難くて加えてそれは抗し難い fact6: もし仮にあのまちょまえLv.9が捉え返すし打ち上がり易いとしたらあのまちょまえLv.9は抗し難くない fact7: 仮にあのまちょまえLv.9が移民するしそれにそれが発艦するならあのまちょまえLv.9は抗し難くない fact8: あのまちょまえLv.9は発艦する
fact4 -> int1: 「あのまちょまえLv.9は移民する」ということは偽でない; int1 & fact8 -> int2: あのまちょまえLv.9は移民するし更に発艦する; int2 & fact7 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact8 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
あのまくまにLv.72は抗し難い
fact9 -> int3: 「「共鳴し易い」ということは成り立つ」モンスターはいる;
$facts$ = fact1: このぽえぽくLv.15は共鳴し易い fact2: もし仮にそのぽいぽなLv.59は寒しし発艦するとしたらおどろおどろしくない fact3: もしもそのまえまにゃLv.80は共鳴し易いならば「あのまちょまえLv.9は発艦しないしさらに捕まえ易くない」ということは成り立たない fact4: あのまちょまえLv.9は残り難いし更に移民する fact5: もしもあのまちょまえLv.9が移民しないとするとあのまくまにLv.72は残り難くて加えてそれは抗し難い fact6: もし仮にあのまちょまえLv.9が捉え返すし打ち上がり易いとしたらあのまちょまえLv.9は抗し難くない fact7: 仮にあのまちょまえLv.9が移民するしそれにそれが発艦するならあのまちょまえLv.9は抗し難くない fact8: あのまちょまえLv.9は発艦する ; $hypothesis$ = あのまちょまえLv.9は抗し難い ; $proof$ = 
fact4 -> int1: 「あのまちょまえLv.9は移民する」ということは偽でない; int1 & fact8 -> int2: あのまちょまえLv.9は移民するし更に発艦する; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact8 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __DISPROVED__