このぷねぷにLv.78は受け辛いということはない
fact1: もし仮にあのぴのぴえLv.40が煮込まないか入り込めないか両方ともであるならこのぴえぴよLv.23は入り込めない fact2: 仮になんらかのモンスターは入り込めないとすれば「熱苦しくて受け辛い」ということは偽である fact3: すべてのモンスターは受け辛い fact4: 全てのモンスターは麗しいけど名残惜しくない fact5: 麗しいモンスターが名残惜しくないとしたらそれは煮込まない fact6: 全てのモンスターは物凄まじい
fact3 -> int1: すべてのモンスターは受け辛い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このぷねぷにLv.78は受け辛いということはない
fact10 -> int2: あのもやもにゃLv.47は麗しいが名残惜しくない; fact9 -> int3: もしあのもやもにゃLv.47が麗しい一方でそれは名残惜しくないとすると「あのもやもにゃLv.47は煮込まない」ということは正しい; int2 & int3 -> int4: あのもやもにゃLv.47は煮込まない; int4 -> int5: あのもやもにゃLv.47は煮込まないかまたは入り込めないかあるいは両方だ; int5 -> int6: すべてのモンスターは煮込まないかあるいは入り込めない; int6 -> int7: あのぴのぴえLv.40は煮込まないかもしくは入り込めないかあるいはどちらもだ; int7 & fact8 -> int8: 「このぴえぴよLv.23は入り込めない」ということは成り立つ; fact7 -> int9: 仮にこのぴえぴよLv.23は入り込めないとすると「このぴえぴよLv.23は熱苦しくてかつそれは受け辛い」ということは成り立つということはない; int8 & int9 -> int10: 「このぴえぴよLv.23は熱苦しいし受け辛い」ということは間違っている;
$facts$ = fact1: もし仮にあのぴのぴえLv.40が煮込まないか入り込めないか両方ともであるならこのぴえぴよLv.23は入り込めない fact2: 仮になんらかのモンスターは入り込めないとすれば「熱苦しくて受け辛い」ということは偽である fact3: すべてのモンスターは受け辛い fact4: 全てのモンスターは麗しいけど名残惜しくない fact5: 麗しいモンスターが名残惜しくないとしたらそれは煮込まない fact6: 全てのモンスターは物凄まじい ; $hypothesis$ = このぷねぷにLv.78は受け辛いということはない ; $proof$ = 
fact3 -> int1: すべてのモンスターは受け辛い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__