patch for subp reasoning with multiple rules