「「あのぷわぷいLv.11は鈍くて厳めしい」ということは成り立つ」ということは嘘である
fact1: もし仮になんらかのモンスターは太くないとすれば「それは鈍くてそれに厳めしい」ということは事実と異なる fact2: もしあるモンスターは怒りっぽくないけどけたたましいとすればそれは太くない fact3: あのぷわぷいLv.11は厳めしい fact4: そのみゆみちゅLv.55は太い fact5: あのぷわぷいLv.11は太い fact6: そのみゆみちゅLv.55は鈍い fact7: もしそのみゆみちゅLv.55が太いとするとあのぷわぷいLv.11は鈍い
fact7 & fact4 -> int1: 「あのぷわぷいLv.11は鈍い」ということは事実である; int1 & fact3 -> hypothesis;
fact7 & fact4 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
「「あのぷわぷいLv.11は鈍くて厳めしい」ということは成り立つ」ということは嘘である
fact8 -> int2: もしもそのみゆみちゅLv.55は太くないとしたら「鈍いしそれは厳めしい」ということは間違っている; fact9 -> int3: もしそのみゆみちゅLv.55は怒りっぽくない一方でけたたましいなら太くない;
$facts$ = fact1: もし仮になんらかのモンスターは太くないとすれば「それは鈍くてそれに厳めしい」ということは事実と異なる fact2: もしあるモンスターは怒りっぽくないけどけたたましいとすればそれは太くない fact3: あのぷわぷいLv.11は厳めしい fact4: そのみゆみちゅLv.55は太い fact5: あのぷわぷいLv.11は太い fact6: そのみゆみちゅLv.55は鈍い fact7: もしそのみゆみちゅLv.55が太いとするとあのぷわぷいLv.11は鈍い ; $hypothesis$ = 「「あのぷわぷいLv.11は鈍くて厳めしい」ということは成り立つ」ということは嘘である ; $proof$ = 
fact7 & fact4 -> int1: 「あのぷわぷいLv.11は鈍い」ということは事実である; int1 & fact3 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__