あのぷちょぷわLv.61は擽ったい
fact1: もし仮に何らかのモンスターが尋ね始めないなら厭わしいしその上動き難い fact2: すべてのモンスターは擽ったい fact3: もしもあのみなみにLv.45が厭わしいとしたらあのぷちょぷわLv.61は擽ったいということはないし哀れっぽくない
fact2 -> int1: すべてのモンスターは擽ったい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのぷちょぷわLv.61は擽ったいということはない
fact5 -> int2: 仮にあのみなみにLv.45が尋ね始めないとしたら厭わしくて加えて動き難い;
$facts$ = fact1: もし仮に何らかのモンスターが尋ね始めないなら厭わしいしその上動き難い fact2: すべてのモンスターは擽ったい fact3: もしもあのみなみにLv.45が厭わしいとしたらあのぷちょぷわLv.61は擽ったいということはないし哀れっぽくない ; $hypothesis$ = あのぷちょぷわLv.61は擽ったい ; $proof$ = 
fact2 -> int1: すべてのモンスターは擽ったい; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__