「あのぴちゃぴやLv.13は白々しい」ということは間違いでない
fact1: あのぴちゃぴやLv.13は煩わしくてかまける fact2: あのぴちゃぴやLv.13は怒れる fact3: あのぴちゃぴやLv.13は悲しい fact4: もしもあのぴちゃぴやLv.13がかまければ這いずる fact5: このまやまちゅLv.25はかまける fact6: もしも「このみなみなLv.22は銜える」ということは確かならこのみなみなLv.22はかまける fact7: もしそのぽにぽにゃLv.18が這いずるならそのぽにぽにゃLv.18は選択し易い fact8: あのぴちゃぴやLv.13が這いずるとしたら白々しい
fact1 -> int1: あのぴちゃぴやLv.13はかまける; int1 & fact4 -> int2: あのぴちゃぴやLv.13は這いずる; int2 & fact8 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
$facts$ = fact1: あのぴちゃぴやLv.13は煩わしくてかまける fact2: あのぴちゃぴやLv.13は怒れる fact3: あのぴちゃぴやLv.13は悲しい fact4: もしもあのぴちゃぴやLv.13がかまければ這いずる fact5: このまやまちゅLv.25はかまける fact6: もしも「このみなみなLv.22は銜える」ということは確かならこのみなみなLv.22はかまける fact7: もしそのぽにぽにゃLv.18が這いずるならそのぽにぽにゃLv.18は選択し易い fact8: あのぴちゃぴやLv.13が這いずるとしたら白々しい ; $hypothesis$ = 「あのぴちゃぴやLv.13は白々しい」ということは間違いでない ; $proof$ = 
fact1 -> int1: あのぴちゃぴやLv.13はかまける; int1 & fact4 -> int2: あのぴちゃぴやLv.13は這いずる; int2 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __PROVED__