このぴわぴいLv.14は手強い
fact1: 芳しいモンスターでありその上彩らないモンスターは手強くない fact2: あらゆるモンスターは手強い fact3: あらゆるモンスターは娘らしい fact4: 芳しくないモンスターは思わしくて手強い
fact2 -> int1: あらゆるモンスターは手強い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このぴわぴいLv.14は手強いということはない
fact5 -> int2: 仮にこのぴわぴいLv.14が芳しいがそれが彩らないとしたらこのぴわぴいLv.14は手強くない;
$facts$ = fact1: 芳しいモンスターでありその上彩らないモンスターは手強くない fact2: あらゆるモンスターは手強い fact3: あらゆるモンスターは娘らしい fact4: 芳しくないモンスターは思わしくて手強い ; $hypothesis$ = このぴわぴいLv.14は手強い ; $proof$ = 
fact2 -> int1: あらゆるモンスターは手強い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__