あのぷくぷにLv.22は受け辛いしおまけにそれは腐り易い
fact1: あのぷくぷにLv.22は受け辛い fact2: もしもあのぷくぷにLv.22が呪わしくないならばあのぷくぷにLv.22は育ち難い一方でそれは好もしくない fact3: もしあのぷくぷにLv.22が御手伝い出来るとするとあのまよまのLv.61は腐り易い fact4: 好もしいということはないモンスターは御手伝い出来るしその上面白い fact5: あのぷくぷにLv.22は腐り易い
fact1 -> int1: あのぷくぷにLv.22は受け辛い; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
あのまよまのLv.61は受け辛い
fact7 -> int2: もし仮にあのぷくぷにLv.22が好もしくないならば御手伝い出来るしその上面白い;
$facts$ = fact1: あのぷくぷにLv.22は受け辛い fact2: もしもあのぷくぷにLv.22が呪わしくないならばあのぷくぷにLv.22は育ち難い一方でそれは好もしくない fact3: もしあのぷくぷにLv.22が御手伝い出来るとするとあのまよまのLv.61は腐り易い fact4: 好もしいということはないモンスターは御手伝い出来るしその上面白い fact5: あのぷくぷにLv.22は腐り易い ; $hypothesis$ = あのぷくぷにLv.22は受け辛いしおまけにそれは腐り易い ; $proof$ = 
fact1 -> int1: あのぷくぷにLv.22は受け辛い; int1 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __PROVED__