あのぽちゃぽねLv.45は生じ得ない
fact1: もし仮にそのまにゅまちゅLv.98が遠しならばあのまわまよLv.16は扱い易い fact2: そのまにゅまちゅLv.98は遠し fact3: もし仮にあのまわまよLv.16が扱い易いとするとあのぽちゃぽねLv.45は生じ得る fact4: もし仮にあのぽちゃぽねLv.45が遠しとすればそのまにゅまちゅLv.98は生じ得る fact5: もし仮に「「生じ得るかもしくは扱い易いか両方ともだ」ということは成り立たない」モンスターがいればあのぽちゃぽねLv.45は生じ得ない
fact1 & fact2 -> int1: あのまわまよLv.16は扱い易い; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
あのぽちゃぽねLv.45は生じ得ない
$facts$ = fact1: もし仮にそのまにゅまちゅLv.98が遠しならばあのまわまよLv.16は扱い易い fact2: そのまにゅまちゅLv.98は遠し fact3: もし仮にあのまわまよLv.16が扱い易いとするとあのぽちゃぽねLv.45は生じ得る fact4: もし仮にあのぽちゃぽねLv.45が遠しとすればそのまにゅまちゅLv.98は生じ得る fact5: もし仮に「「生じ得るかもしくは扱い易いか両方ともだ」ということは成り立たない」モンスターがいればあのぽちゃぽねLv.45は生じ得ない ; $hypothesis$ = あのぽちゃぽねLv.45は生じ得ない ; $proof$ = 
fact1 & fact2 -> int1: あのまわまよLv.16は扱い易い; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__