そのぷわぷくLv.90は済ま無いということはない
fact1: 仮に「なにがしかのモンスターは凄まじくないけどそれは待ち遠しい」ということは成り立つということはないならばゴールしない fact2: もしも何らかのモンスターは物らしいということはないならば「凄まじくない一方で待ち遠しい」ということは偽だ fact3: あらゆるモンスターは物らしくない fact4: 何らかのモンスターは待ち遠しいとしたら「それはゴールするけれど凄まじくない」ということは成り立たない
そのぷわぷくLv.90は済ま無いということはない
fact5 -> int1: 「仮にあのぷにゅぷなLv.55は待ち遠しいとすれば「あのぷにゅぷなLv.55はゴールするけれど凄まじくない」ということは嘘である」ということは本当である;
$facts$ = fact1: 仮に「なにがしかのモンスターは凄まじくないけどそれは待ち遠しい」ということは成り立つということはないならばゴールしない fact2: もしも何らかのモンスターは物らしいということはないならば「凄まじくない一方で待ち遠しい」ということは偽だ fact3: あらゆるモンスターは物らしくない fact4: 何らかのモンスターは待ち遠しいとしたら「それはゴールするけれど凄まじくない」ということは成り立たない ; $hypothesis$ = そのぷわぷくLv.90は済ま無いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__