あのぽにゅぽにゅLv.59は振り回せる
fact1: あらゆるモンスターは振り回せる fact2: 全てのモンスターは弱々しい fact3: あらゆるモンスターは苦い fact4: 居辛いということはないモンスターは振り回せない
fact1 -> int1: あらゆるモンスターは振り回せる; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽにゅぽにゅLv.59は振り回せない
fact5 -> int2: もしあのぽにゅぽにゅLv.59が居辛くないとするとあのぽにゅぽにゅLv.59は振り回せない;
$facts$ = fact1: あらゆるモンスターは振り回せる fact2: 全てのモンスターは弱々しい fact3: あらゆるモンスターは苦い fact4: 居辛いということはないモンスターは振り回せない ; $hypothesis$ = あのぽにゅぽにゅLv.59は振り回せる ; $proof$ = 
fact1 -> int1: あらゆるモンスターは振り回せる; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__