このぷにゅぷわLv.0は意義深い
fact1: さもしいモンスターは意義深くないししかも想像し易くない fact2: すべてのモンスターは御構い無い fact3: すべてのモンスターは見難い fact4: あらゆるモンスターは意義深い
fact4 -> int1: あらゆるモンスターは意義深い; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
そのまにゃまねLv.75は意義深い
fact5 -> int2: 仮にこのぷにゅぷわLv.0がさもしいならば意義深くなくて想像し易くない;
$facts$ = fact1: さもしいモンスターは意義深くないししかも想像し易くない fact2: すべてのモンスターは御構い無い fact3: すべてのモンスターは見難い fact4: あらゆるモンスターは意義深い ; $hypothesis$ = このぷにゅぷわLv.0は意義深い ; $proof$ = 
fact4 -> int1: あらゆるモンスターは意義深い; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__