あのまにまやLv.14は思慮深い
fact1: もし仮にあるモンスターが住すれば思慮深い fact2: すべてのモンスターは思慮深い
fact2 -> int1: すべてのモンスターは思慮深い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのぷゆぷにゅLv.53は思慮深い
fact3 -> int2: もしもそのぷゆぷにゅLv.53は住するとすれば「そのぷゆぷにゅLv.53は思慮深い」ということは誤りでない;
$facts$ = fact1: もし仮にあるモンスターが住すれば思慮深い fact2: すべてのモンスターは思慮深い ; $hypothesis$ = あのまにまやLv.14は思慮深い ; $proof$ = 
fact2 -> int1: すべてのモンスターは思慮深い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__