このまゆまにゃLv.35は烏滸がましい
fact1: このまゆまにゃLv.35は小さいし呪わしい fact2: もし仮にこのまゆまにゃLv.35が呪わしいならこのまゆまにゃLv.35は烏滸がましい fact3: もしもあのぷねぷくLv.13は呪わしくないならば「このまゆまにゃLv.35は小さいけど烏滸がましくない」ということは成り立つ fact4: あのもちょもにゅLv.92は呪わしいということはない
fact1 -> int1: このまゆまにゃLv.35は呪わしい; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
このまゆまにゃLv.35は烏滸がましくない
$facts$ = fact1: このまゆまにゃLv.35は小さいし呪わしい fact2: もし仮にこのまゆまにゃLv.35が呪わしいならこのまゆまにゃLv.35は烏滸がましい fact3: もしもあのぷねぷくLv.13は呪わしくないならば「このまゆまにゃLv.35は小さいけど烏滸がましくない」ということは成り立つ fact4: あのもちょもにゅLv.92は呪わしいということはない ; $hypothesis$ = このまゆまにゃLv.35は烏滸がましい ; $proof$ = 
fact1 -> int1: このまゆまにゃLv.35は呪わしい; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__