「このぷわぷやLv.19は悪い」ということは確かである
fact1: もし「あのぴゆぴにゅLv.89はぶっちゃけるし床しい」ということは事実と異なるとしたらあのぴゆぴにゅLv.89はぶっちゃけらない fact2: 「「あのぴゆぴにゅLv.89はぶっちゃけるしまた床しい」ということは間違っている」ということは間違いでない fact3: もし仮にこのまのまくLv.11が聡いが清くないとするとこのぷわぷやLv.19は悪いということはない fact4: もしそのぷくぷにLv.19が把握し易いとするとこのまのまくLv.11は聡い fact5: えぐいモンスターは把握し易い fact6: 仮にこのまのまくLv.11がえぐいとすればそれは把握し易い fact7: そのぷくぷにLv.19はえぐい fact8: 仮に何らかのモンスターが聡くないとすると悪いしえぐい fact9: 仮になにがしかのモンスターはぶっちゃけらないなら「それは悪くて清い」ということは偽だ
fact5 -> int1: もしもそのぷくぷにLv.19がえぐいとしたらそのぷくぷにLv.19は把握し易い; int1 & fact7 -> int2: そのぷくぷにLv.19は把握し易い; int2 & fact4 -> int3: このまのまくLv.11は聡い;
fact5 -> int1: {A}{aa} -> {C}{aa}; int1 & fact7 -> int2: {C}{aa}; int2 & fact4 -> int3: {B}{a};
このまのまくLv.11は把握し易い
fact12 -> int4: 仮にあのぴゆぴにゅLv.89はぶっちゃけらないならば「あのぴゆぴにゅLv.89は悪くて清い」ということは成り立つということはない; fact11 & fact13 -> int5: あのぴゆぴにゅLv.89はぶっちゃけらない; int4 & int5 -> int6: 「あのぴゆぴにゅLv.89は悪いし清い」ということは本当でない; int6 -> int7: 「「悪いし更に清い」ということは成り立たない」モンスターはいる;
$facts$ = fact1: もし「あのぴゆぴにゅLv.89はぶっちゃけるし床しい」ということは事実と異なるとしたらあのぴゆぴにゅLv.89はぶっちゃけらない fact2: 「「あのぴゆぴにゅLv.89はぶっちゃけるしまた床しい」ということは間違っている」ということは間違いでない fact3: もし仮にこのまのまくLv.11が聡いが清くないとするとこのぷわぷやLv.19は悪いということはない fact4: もしそのぷくぷにLv.19が把握し易いとするとこのまのまくLv.11は聡い fact5: えぐいモンスターは把握し易い fact6: 仮にこのまのまくLv.11がえぐいとすればそれは把握し易い fact7: そのぷくぷにLv.19はえぐい fact8: 仮に何らかのモンスターが聡くないとすると悪いしえぐい fact9: 仮になにがしかのモンスターはぶっちゃけらないなら「それは悪くて清い」ということは偽だ ; $hypothesis$ = 「このぷわぷやLv.19は悪い」ということは確かである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__