このもゆもちょLv.53は食らい付く
fact1: 「あのみのみのLv.7は相応しい」ということは本当である fact2: 「あのぴにぴちゅLv.29はとろ臭くなくてそれは相応しくない」ということは誤っているとするとそのぷやぷやLv.17は有り難し fact3: 「あのぴにぴちゅLv.29は野暮ったくない」ということは確かだ fact4: 仮にあるモンスターは野暮ったくないならば「それはとろ臭くなくてそれは相応しくない」ということは間違いである fact5: もしもあのみやみねLv.82が聞き知るならこのもゆもちょLv.53は食らい付く fact6: もしも「そのぷやぷやLv.17は有り難し」ということは成り立てば「あのみやみねLv.82は聞き知る」ということは成り立つ fact7: もしあのぴにぴちゅLv.29は野暮ったくないなら「あのぴにぴちゅLv.29はとろ臭くない一方でそれは相応しい」ということは成り立たない fact8: もしも「あのぴにぴちゅLv.29は野暮ったくない」ということは嘘でないならば「とろ臭いけれど相応しくない」ということは成り立たない
fact4 -> int1: あのぴにぴちゅLv.29は野暮ったくないとすると「それはとろ臭いということはなくておまけにそれは相応しくない」ということは本当でない; int1 & fact3 -> int2: 「あのぴにぴちゅLv.29はとろ臭くなくて相応しくない」ということは嘘である; int2 & fact2 -> int3: そのぷやぷやLv.17は有り難し; int3 & fact6 -> int4: あのみやみねLv.82は聞き知る; int4 & fact5 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact6 -> int4: {C}{b}; int4 & fact5 -> hypothesis;
$facts$ = fact1: 「あのみのみのLv.7は相応しい」ということは本当である fact2: 「あのぴにぴちゅLv.29はとろ臭くなくてそれは相応しくない」ということは誤っているとするとそのぷやぷやLv.17は有り難し fact3: 「あのぴにぴちゅLv.29は野暮ったくない」ということは確かだ fact4: 仮にあるモンスターは野暮ったくないならば「それはとろ臭くなくてそれは相応しくない」ということは間違いである fact5: もしもあのみやみねLv.82が聞き知るならこのもゆもちょLv.53は食らい付く fact6: もしも「そのぷやぷやLv.17は有り難し」ということは成り立てば「あのみやみねLv.82は聞き知る」ということは成り立つ fact7: もしあのぴにぴちゅLv.29は野暮ったくないなら「あのぴにぴちゅLv.29はとろ臭くない一方でそれは相応しい」ということは成り立たない fact8: もしも「あのぴにぴちゅLv.29は野暮ったくない」ということは嘘でないならば「とろ臭いけれど相応しくない」ということは成り立たない ; $hypothesis$ = このもゆもちょLv.53は食らい付く ; $proof$ = 
fact4 -> int1: あのぴにぴちゅLv.29は野暮ったくないとすると「それはとろ臭いということはなくておまけにそれは相応しくない」ということは本当でない; int1 & fact3 -> int2: 「あのぴにぴちゅLv.29はとろ臭くなくて相応しくない」ということは嘘である; int2 & fact2 -> int3: そのぷやぷやLv.17は有り難し; int3 & fact6 -> int4: あのみやみねLv.82は聞き知る; int4 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact6 -> int4: {C}{b}; int4 & fact5 -> hypothesis; __PROVED__