What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Linda is playing tennis. If it is cloudy, then Karen is reading a book. If Karen plays a game, then Karen is reading a book. Karen is playing a game.
Karen is reading a book can be inferred via the modus ponens rule. Linda is playing tennis and Karen is playing a game can be inferred via the conjunction rule. Karen is playing a game and Linda is playing tennis can be inferred via the conjunction rule.