Logic Mining in Football Matches Using k-Satisfiability Based Reverse Analysis Method