あのぷにょぷちゅLv.28は地下深くない
fact1: このぷいぷえLv.33は地下深い fact2: もし仮になにがしかのモンスターはばたつかないなら「それは仄暗くておまけに加重平均する」ということは成り立たない fact3: あるモンスターが仄暗くないとすると御満足頂けるし加えて地下深い fact4: すべてのモンスターは地下深い
fact4 -> int1: すべてのモンスターは地下深い; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
「すべてのモンスターは御満足頂ける」ということは真実である
fact6 -> int2: もし仮にあのぷにょぷちゅLv.28が仄暗くないならあのぷにょぷちゅLv.28は御満足頂けるし地下深い; fact5 -> int3: あのぷゆぷのLv.85はばたつかないなら「それは仄暗いししかも加重平均する」ということは事実だということはない;
$facts$ = fact1: このぷいぷえLv.33は地下深い fact2: もし仮になにがしかのモンスターはばたつかないなら「それは仄暗くておまけに加重平均する」ということは成り立たない fact3: あるモンスターが仄暗くないとすると御満足頂けるし加えて地下深い fact4: すべてのモンスターは地下深い ; $hypothesis$ = あのぷにょぷちゅLv.28は地下深くない ; $proof$ = 
fact4 -> int1: すべてのモンスターは地下深い; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__